Сложность доказательства Великой теоремы Ферма заключается в том, что нужно доказать отсутствие решения. 4 При этом невозможно просто сказать: «Я не нашёл таких решений». 1 А вдруг они есть, только очень большие, такие, что даже у сверхмощного компьютера не хватает сил? 1

Также сложность заключается в нетривиальной задаче теории эллиптических кривых, которая лежит в основе одного из подходов к доказательству теоремы. 3 Например, основная трудность реализации этой схемы заключается в изучении возможности построения кривой Фрея, которое так и не было осуществлено. 3

Окончательное доказательство Великой теоремы Ферма в 1993 году дал математик из Принстонского университета Эндрю Уайлс, сочетая поэтапно разные подходы и методы. 4