Задача века, висевшая целых 78 лет, решена за три дня!
Вопрос заключался в том, существует ли комплексная структура на шестимерной сфере, он задавался с 1948 года по сей день, и теперь ответ — да.
Ответ предоставили гарвардский математик Левент Альпёге (Levent Alpöge) и Claude.
Но самое впечатляющее — это метод решения.
Они обошли старый путь, по которому все ходили десятки лет, напрямую построили этот объект и, указав на него, провозгласили: вот комплексная структура на S6.
А когда Альпёге объявил об этом в X, его первые слова звучали скорее как объявление о рождении нового существа —
Добро пожаловать в этот прекрасный новый геометрический объект.
Семьдесят с лишним лет на одной этой сфере
Из всех сфер право на комплексную структуру имеют только две: S2 и S6, остальные измерения давно исключены из игры.
S2 не вызывает сомнений — она сама по себе является краеугольным камнем в фундаменте комплексной геометрии.
Итак, более семидесяти лет все взгляды были прикованы к единственной надежде — S6.
Кто-то заявлял, что она существует, кто-то клялся, что её абсолютно точно нет, но обе стороны потерпели неудачу.
Например, один из величайших математиков современности, лауреат Филдсовской премии Майкл Фрэнсис Атья (Michael Francis Atiyah) в 2016 году заявил, что решил её, но в его доказательстве были обнаружены пробелы.
Китайский мастер математики Шэн-Шэнь Чэнь (陈省身) также изучал эту проблему в поздние годы.
То, что выложил Альпёге на этот раз, — это документ с доказательством объёмом в 108 страниц.
Каждая матрица, каждая координата, каждый способ склейки, использованный в конструкции, чётко прописан чёрным по белому.
Математик Цяочу Юань (Qiaochu Yuan) специально использовал GPT-5.6 Sol, чтобы найти изъяны, но после шести минут изучения не обнаружил никаких пробелов.
Не сдаваясь, он потратил ещё 15 минут на проверку и по-прежнему не смог найти ни одной ошибки, зато лучше понял саму логику доказательства.
Вывод Sol заключался в том, что если эти 108 страниц окончательно устоят, это можно будет считать важнейшим достижением ИИ в математике на сегодняшний день.
Если бы эта работа была выполнена исключительно человеком, она, скорее всего, претендовала бы на Филдсовскую премию, пусть не из-за своей сложности или известности, то хотя бы из-за влияния.
Три целых числа вынесли приговор этой задаче
Возникает вопрос: как же был построен этот новый объект?
Шаг первый: заложить фундамент.
Возьмём объект, называемый треугольной группой (3,4,∞), и складками «свернём» верхнюю полуплоскость; оставшаяся после этого фигура визуально представляет собой сферу.
Только на этой сфере есть три особые точки: порядка 3, порядка 4 и одна точка возврата (острия), расположенные в t = 0, t = 1 и t = ∞ соответственно.
Альпёге не скрывал своего предпочтения, прямо заявив, что треугольная группа и связанное с ней семейство торов — его самая удачная находка.
Шаг второй: навесить тора на фундамент.
К каждой точке фундамента, кроме трёх особых, «прикреплён» комплексный 2-тор — структура, двумерная в комплексном смысле и четырёхмерная в вещественном.
Объект, «висящий» над определённой точкой, математически называется слоем над этой точкой, и всё пространство X составлено именно из таких слоёв.
После этого шага над тремя особыми точками по-прежнему пусто — получается, что в сфере прорезаны три дыры.
Шаг третий: заделать три дыры.
Заделка дыр означает, что к каждой из этих пустых точек подбирается и встраивается свой слой, сшиваясь в единое компактное комплексное многообразие.
Самое изящное в том, что для трёх дыр использовались не одинаковые методы; каждая дыра идеально попала под действие классического способа заполнения.
Для точки возврата (острия) в t = ∞ использовалось вырождение тора по Мамфорду; встроенный слой называется W и получен склейкой трёх пар противоположных сторон шестиугольной границы шестикратной поверхности дель Пеццо.
Для оставшихся двух точек, t = 0 и t = 1, использовались логарифмические преобразования Кодаиры с кратностями 3 и 4 соответственно, что точно соответствует порядкам 3 и 4 тех двух точек на фундаменте.
В момент заделки трёх дыр родилось компактное комплексное трёхмерное многообразие под названием X.
Объект построен, но действительно ли это S6?
К этому моменту X уже является полноценным комплексным многообразием, но вопрос ещё не закрыт.
В разделе 7 статьи фундаментальная группа X вычисляется в явном виде: π1(X) ≅ Z / |12l0 − 4l1 − 3l2|.
Фундаментальную группу можно грубо понимать как наличие «непроходимых дыр» в пространстве. На сфере любую петлю можно стянуть в точку, поэтому фундаментальная группа сферы тривиальна.
Три целых числа (l0, l1, l2) в формуле отражают степень скручивания слоёв при заделке тех трёх дыр.
Подставив (0, 1, −1), получаем 12×0 − 4×1 − 3×(−1) = −1, абсолютное значение прочно зафиксировано на 1.
А Z по модулю 1 — это как раз тривиальная группа; фундаментальная группа исчезает, и X совпадает со сферой по первому критерию.
Поскольку само X односвязно, а целочисленные гомологии идеально совпадают с S6, применяя теоремы Гуревича и Уайтхеда, получаем, что это неоспоримо гомотопическая шестимерная сфера. Применяя обобщённую гипотезу Пуанкаре, доказанную Смейлом в 1961 году, получаем, что X гомеоморфно S6.
Наконец, остаётся последний барьер — гладкая структура.
Потому что в топологии гомеоморфизм не равен диффеоморфизму. Два объекта могут выглядеть абсолютно одинаково, но способы выполнения на них математического анализа не совпадают. У таких подделок есть специальное название — экзотические сферы.
К счастью, ещё в 1963 году Кервер и Мильнор прояснили этот счёт: в шестимерном мире всё чисто, там как раз нет ни одной экзотической сферы; в то время как в семимерном их может быть аж 28.
Таким образом, гомеоморфизм здесь одним шагом переходит в диффеоморфизм, и истинная сущность X — это S6.
Тот, кто покончил с ней, не специалист по комплексной геометрии
Альпёге — младший научный сотрудник Гарвардского Общества стипендиатов (Society of Fellows), одновременно постдок в Anthropic. Его основная специализация — теория чисел и арифметическая геометрия, в водах комплексной геометрии он плавает нечасто.
А Юань раскрыл, что всего за три дня до решения этой проблемы они как раз обсуждали этот тупик.
От поиска ответа к его созданию
Решить за три дня задачу, которая не поддавалась более семидесяти лет, — уже само по себе невероятно.
Но на самом деле это уже третий случай за 35 дней.
20 июля Альпёге с помощью Claude Fable 5 нашёл смертельный контрпример к гипотезе Якоби, заданной в 1939 году, которая 87 лет оставалась нерешённой.
Всего три недели спустя, 10 августа, ещё не выпущенная исследовательская версия Claude от неизвестного источника повысила доказанную долю нулей дзета-функции Римана на критической прямой с 41,6% до 67,2%.
В той битве за вычислительные ресурсы она задействовала около 60 подчинённых ИИ-агентов, выполнила примерно 2400 shell-команд и сожгла 31 миллион выходных токенов.
Затем 24 августа — уже знакомый нам случай с S6.
Первые два случая ещё можно было как-то объяснить: ИИ — это просто очень мощный поисковик, в одном случае искавший контрпример в известном пространстве решений, в другом — жёстко склеивший две уже готовые статьи из базы.
Но только в этот раз природа явления изменилась кардинально.
Этого геометрического объекта изначально не существовало — модель буквально создала его.
Доцент математики и статистики Университета штата Нью-Йорк в Олбани Джастин Карри (Justin Curry) прямо заявил: Если доказательство верно, это, безусловно, самое выдающееся достижение ИИ за последнее время.
Последние 78 лет все задавали один и тот же вопрос: существует ли комплексная структура на S6.
А с этого момента, пожалуй, следует задать уже другой вопрос.
Сколько же их там ещё скрывается?
Источники: https://alpo.ge/s6.pdf
Эта статья из WeChat официального аккаунта «新智元» («Новый Интеллект»), автор: ASI启示录; редактор: Моисей Давид
