> Если бы у меня было это доказательство, я бы тебе рассказал, какие из > него > следствия. По-моему, если у нас есть некоторое > множество задач, которые мы не умеем решать простыми способами, и вдруг > одну из задач этого множества - научились, есть немаленький шанс, что > следствием из этого решения будет несколько десятков решений для других > задач из оного множества. Например, следствием доказательства теоремы > Ферма теми средствами, о которых знал сам Ферма, может внезапно > оказаться > эффективный алгоритм факторизации больших чисел.
Дело-то в том, что о *методах* Ферма мы знаем все. Шанс, что он использовал что-то принципиально новое в единственном незаписанном доказательстве -- ноль :) -- Алексей