Теорема Ферма действительно доказана в 1994 году или нет?

Теорему Ферма доказал Эндрю Уайлс, профессор Принстона, в 1994 году, а после проверки длительностью в год его рассуждения были признаны верными и опубликованы в отдельном 130-страничном томе Annals of Mathematics. Задолго до этого проблему свели к двум утверждениям, дополняющим друг друга, причем истинность первого из них в 1984 году установил американский математик Кеннет Алан Рибет.

Говорят, что да. Врут, наверное

Если речь о Великой теореме Ферма, то да, но её, вроде как, в 1995 доказали