Велика теорема Ферма була доведена у вересні 1994 року Ендрю Вайльсом. До цього відкриття у науковому світі панувала непевність, оскільки вже три століття теорему не могли довести декілька поколінь вчених, а сам автор теореми при згадці про неї на полях однієї з книг написав, що "мною відкрите чудове доведення, однак ці поля занадто малі, щоб його написати".