ОШИБКА В ЗНАКЕ, КОТОРАЯ ПОТОПИЛА ТРИ ДОКАЗАТЕЛЬСТВА

Гипотеза Ходжа — один из глубочайших открытых вопросов математики. Её формулировка в этой статье взята из главы Пьера Делиня в книге Математического института Клэя The Millennium Prize Problems. Если совсем грубо, она утверждает, что некоторые «формы», скрытые в топологии геометрического пространства, заданного полиномиальными уравнениями, всегда можно собрать из более мелких кусков, которые сами задаются уравнениями.

В сентябре и октябре 2026 года OpenAI опубликовала три документа с подписью «OAI», в которых утверждалось, что гипотеза доказана в частных случаях: для некоторых поверхностей, называемых K3-поверхностями, для их произведений и для некоторых восьмимерных пространств. Позже OpenAI отозвала все три. Янкы Лекили из Имперского колледжа Лондона и Ник Шеридан из Эдинбургского университета теперь точно объясняют, где в них ошибка.

Законный путь через зеркало

Документы шли изящным путём. Мощная идея, называемая гомологической зеркальной симметрией и выдвинутая в виде гипотезы Максимом Концевичем, связывает геометрическое пространство X с «зеркальным» пространством Y совсем иного рода, которое изучает симплектическая геометрия — геометрия, унаследованная от физики движения, в которой измеряют площади, а не длины. Когда эта связь установлена, вопрос об X можно заменить вопросом об Y.

Здесь, чтобы решить вопрос Ходжа для X, достаточно построить в зеркале Y особый объект — похожую на поверхность форму, называемую лагранжевым погружением, которая к тому же должна быть необструктированной (unobstructed) — это техническое условие делает её полноправным элементом зеркального инструментария. Лекили и Шеридан согласны, что подход законный. Подвох в том, что построение необструктированных лагранжевых многообразий само по себе трудная задача. Именно здесь все три документа и сломались.

При чём тут точки самопересечения

Погружению разрешено пересекать само себя, и каждая точка самопересечения несёт число — свою степень. Пересечения нечётной степени здесь безвредны. Пересечения степени 2 могут создавать обструкцию.

Сначала документы строили грубое погружение с помощью гибкой техники — h-принципа Громова и Лиза. Затем они ссылались на теорему 2013 года Тобиаса Экхольма, Якова Элиашберга, Эмми Мёрфи и Айвена Смита, чтобы привести его в порядок так, чтобы все пересечения имели нечётную степень. Если чётных пересечений не осталось, необструктированность следует автоматически.

Плюс, который должен был быть минусом

Теорема 2013 года верна. Но в ней пересечения считаются с противоположным соглашением о знаках по сравнению со стандартным. Её авторы нигде не говорят об этом явно; они последовательно используют своё соглашение, и его можно вывести из их формул и доказательства. Документы OpenAI вместо этого использовали стандартное соглашение — один знак оказался перевёрнут. Это важно, потому что результат теоремы зависит от того, окажется ли некий итоговый подсчёт пересечений, взятых со знаками плюс и минус, отрицательным или нет. Документы построили своё погружение так, чтобы этот итог был отрицательным, — это тот случай, в котором, как они полагали, все пересечения можно сделать нечётными. Со знаком самой теоремы тот же итог положителен: это другой случай. Судя по всему, первым проблему заметил и сообщил о ней OpenAI Натан Хамфри.

При правильном прочтении знака теорема рассказывает другую историю. Её конструкция всегда оставляет одну точку самопересечения степени 2, которую Лекили и Шеридан называют p. Все остальные пересечения можно сделать нечётными; p остаётся. И p достаточно, чтобы сломать доказательство.

Это хуже, чем пробел. Авторы показывают, что погружения, полученные таким способом, как правило, обструктированы: маленький «жёсткий» диск — изолированная поверхность, которую невозможно деформировать, чей край лежит на погружении и проходит через p, — создаёт обструкцию, которая в определённом режиме не может обратиться в ноль, — а вне этого режима нет причин, по которым она сократилась бы. По их словам, это пересечение — «цена гибкости».

Жёсткое против гибкого

Математики этой области различают гибкие задачи, которые поддаются универсальным инструментам дифференциальной топологии, и жёсткие, которые им не поддаются. Необструктированные лагранжевы многообразия, как правило, жёсткие, и обычно от жёсткого можно перейти к гибкому, но не обратно. Эта интуиция заставила нескольких исследователей скептически отнестись к документам ещё до их отзыва. И всё же авторы добавляют нотку скромности: интуиция может подвести, и сама теорема 2013 года когда-то противоречила ожиданиям.

Что уцелело

Лекили и Шеридан не разбирают остальные части рассуждений и называют три положительных итога. Общая стратегия — атаковать гипотезу Ходжа через зеркальную симметрию — интересна и заслуживает развития; если кто-то преодолеет лагранжево препятствие, документы могут подсказать оставшиеся технические шаги. Скрытое соглашение о знаках в статье 2013 года теперь прояснено. Как и вопрос о том, могут ли её погружения вообще быть необструктированными.