Мы находимся на грани: сегодня наша программа оказалась последней теоремой Ферма.