Да, в 1995 году британский математик Эндрю Уайлс доказал Великую теорему Ферма, которая считалась сложной. 34

Доказательство теоремы искали многие математики на протяжении более трёхсот лет. 3 Сложность состояла в том, что нужно было доказать отсутствие решения. 1

Уайлс начал работу над доказательством в 1986 году, на это ушло семь лет. 1 В своём доказательстве он использовал сложные методы вычисления и опирался на труды математиков из разных направлений. 1

Первый вариант своего доказательства Уайлс опубликовал в 1993 году, но в нём вскоре обнаружился серьёзный пробел. 4 С помощью Ричарда Лоуренса Тейлора пробел удалось достаточно быстро ликвидировать, и в 1995 году был опубликован завершающий вариант. 4