OpenAI сообщила The New York Times, что достигла «существенного прогресса» во второй задаче Премии тысячелетия — через несколько дней после заявления о решении задачи Навье–Стокса. Компания не назвала задачу и не обозначила сроки раскрытия своей работы.

Неподтверждённые OpenAI предположения в интернете сосредоточились на гипотезе Ходжа — математическом вопросе 76-летней давности о том, как подсчитывать «дыры» в сложных геометрических формах. Гипотеза, предложенная математиком Уильямом Ходжем в 1950 году, предполагает, что алгебра может служить сокращённым путём для анализа геометрических структур. Никто не доказал, что этот подход работает во всех случаях.

Семь задач Премии тысячелетия были учреждены Clay Mathematics Institute в 2000 году, и за каждую из них назначена награда в $1 млн. Решена только одна из семи — гипотеза Пуанкаре, — а по правилам института предложенное решение должно получить признание в математическом сообществе, прежде чем премия может быть присуждена. OpenAI заявляет, что не претендует на деньги: компания описывает эти задачи как публичный ориентир для измерения скорости совершенствования своих моделей.

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

Одна из публикаций в социальных сетях, на которую ссылаются в предположениях, гласит:

gpt-6-astra gpt-6-astra-aeon
^ new slugs added to a statsig feature flag that appeared ~30 mins ago in Codex Desktop
"aeon" means "an immeasurably or indefinitely long period of time, an age, or eternityn> — leo 🐾 (@synthwavedd) September 3, 2026

https://x.com/synthwavedd/status/2095536656023470365?ref_src=twsrc%5Etfw

В более раннем заявлении о задаче Навье–Стокса OpenAI сообщила, что нереализованная внутренняя модель подготовила доказательство, верифицированное в Lean — программном обеспечении, которое проверяет математические доказательства шаг за шагом. Поскольку такое ПО проверяет каждый шаг механически, завершённое доказательство в Lean может быть перепроверено другими, а не принято на веру. Доказательство касалось вопроса о том, могут ли уравнения Навье–Стокса, описывающие движение жидкостей, таких как воздух и вода, «взрываться» до физически невозможной бесконечной скорости. По данным OpenAI, в работе участвовало около 10 000 координирующихся ИИ-агентов в течение примерно 88 часов. Эти уравнения важны для проектирования самолётов, прогнозирования погоды и моделирования кровотока, и почти 90 лет они не поддавались полному математическому объяснению. Заявление OpenAI доступно на OpenAI.

Clay Mathematics Institute не завершил проверку доказательства задачи Навье–Стокса от OpenAI. Остаётся нерешённым и отдельный спор об авторстве. Математик из Нью-Йоркского университета Тристан Бакмастер заявил в заявлении на четырёх страницах, что он и исследователь Anthropic Левент Альпёге почти год работали над связанным доказательством и завершили его к 22 августа, прежде чем Себастьян Бубек из OpenAI узнал об их работе и попытался опубликовать её первым.

По словам Бакмастера, Бубек предложил ему либо позволить OpenAI опубликовать работу на день позже его команды, либо написать статью в одиночку, без Альпёге, поскольку тот работал в конкурирующей лаборатории. Бакмастер утверждает, что Бубек, по имеющимся сведениям, спросил его: «Зачем тебе разрушать свою карьеру?»

Эти события происходят на фоне того, как ИИ-компании берутся за всё более сложные математические задачи. На той же неделе Anthropic сообщила, что её модель Claude формализовала 358-летнее доказательство Великой теоремы Ферма за 11 дней. Математик Теренс Тао предупредил, что конкуренция между ИИ-лабораториями может исчерпать запас трудных и полезных математических задач быстрее, чем будут появляться новые.

Следующим испытанием для заявлений OpenAI станет независимая верификация со стороны Clay Mathematics Institute или внешних математиков. Проверки предыдущих заявок на Премию тысячелетия занимали годы, а не недели, и вторая задача столкнётся с тем же препятствием, когда OpenAI назовёт её и раскроет свою работу.