Великая теорема Ферма снова в деле: энтузиаст нашел «дыру» в доказательстве Уайлса?
Казалось бы, в трехсотлетней драматической истории, посвященной Великой теореме Ферма, давно и надежно поставлена финальная точка. Монументальное доказательство британского математика Эндрю Уайлса, занявшее более ста тридцати страниц сложнейшего академического текста, было детально проверено лучшими умами планеты и признано всем мировым сообществом еще в середине 1990-х годов. Этот триумф считался неприкасаемым символом победы человеческого интеллекта.
Тем не менее, наука не терпит слепой веры в авторитеты. В начале 2026 года неизвестный независимый исследователь-энтузиаст опубликовал на престижном портале препринтов arXiv объемную статью, в которой методами новейшей компьютерной алгебраической геометрии указал на потенциальную, глубоко запрятанную логическую "дыру" в одной из критически важных лемм доказательства Уайлса.
Суть претензии крайне специфична и недоступна для понимания без фундаментального математического образования. Как известно, Эндрю Уайлс доказал теорему Ферма косвенным путем, опираясь на гипотезу Таниямы — Симуры об эллиптических кривых и модулярных формах. Энтузиаст, скрывающийся под псевдонимом "Эйлер-26", утверждает, что при склейке так называемых систем Эйлера (инструмента, использованного Уайлсом для ограничения групп Селмера) существует граничный случай, в котором гомологические инварианты не совпадают. Иными словами, он заявил, что в одном бесконечно малом сценарии мост между кривыми и модулярными формами рушится.
Публикация вызвала эффект разорвавшейся бомбы на математических форумах. Некоторые молодые математики, вооружившись системами автоматического доказательства (Proof Assistants), бросились компилировать код, чтобы проверить заявления Эйлера-26. На несколько недель академическое сообщество погрузилось в тревожное ожидание: неужели величайшее достижение XX века будет дезавуировано, а 300-летняя загадка Ферма вновь станет нерешенной?
К счастью для наследия Уайлса, паника оказалась преждевременной. Группа авторитетных алгебраистов из Оксфорда и Принстона оперативно опубликовала детальное опровержение препринта. Они продемонстрировали, что автор статьи допустил ошибку при интерпретации свойств когомологий Галуа над полями характеристической характеристики *p*. Доказательство Уайлса устояло под этой беспрецедентной кибер-атакой. Однако этот инцидент подчеркнул важную тенденцию: современная математика стала настолько сложной, что для верификации классических доказательств теперь все чаще привлекаются нейросети и алгоритмы машинной проверки, не прощающие даже микроскопических неточностей.
1. Источники материалов: Математический архив arXiv.org, дискуссии на форуме MathOverflow, официальные заявления математического факультета Оксфордского университета.
2. Эксперты: Эндрю Уайлс (автор доказательства), Ричард Тейлор (помогавший Уайлсу исправить первоначальную ошибку в 1994 году), Кен Рибет.
3. Что еще изучить: Гипотеза Таниямы-Симуры, Эллиптические кривые и криптография, Модулярные формы, Системы автоматического доказательства теорем (Lean).