8 сентября 2026 года математик Тристан Бакмастер из NYU Courant опубликовал заявление: 6 сентября на звонках с участием Себастьяна Бюбека, руководителя математического направления OpenAI, ему сообщили, что внутренняя модель OpenAI получила доказательство «blow-up» для уравнений Навье–Стоксе с внешней силой. Доказательство не опубликовано, независимой проверки нет, и Институт Клэя по-прежнему числит задачу тысячелетия нерешённой.
Что произошло
По тексту заявления Бакмастера, речь идёт о доказательстве «существования форсированного blow-up в R³ и T³» для уравнений Навье–Стоксе с гладкой внешней силой, то есть о вариантах c и d из постановки Клэя/Феффермана. Объём документа оценивается примерно в 100 страниц, сам Бакмастер его не видел. Накануне заявления, 7 сентября, он вместе с Левентом Алпёге, сотрудником Anthropic, опубликовал собственные LLM-ассистированные результаты о blow-up с гладкой силой для уравнений Эйлера, Буссинеска и несжимаемой пористой среды, причём первый LLM-сгенерированный результат этой работы был верифицирован в системе формальной проверки Lean.
Контекст
Задача об уравнениях Навье–Стоксе входит в число задач тысячелетия (Millennium Prize Problems) Института Клэя с призом в 1 млн долларов. Формулировка «форсированного blow-up» опирается на член с внешней силой, который часть математиков считает лазейкой в условии Клэя, поэтому даже правильное доказательство может не закрыть задачу тысячелетия как таковую — это отдельный вопрос. Объявление прозвучало в середине конфликта о приоритете: Бакмастер утверждает, что ему предлагали оформить результат OpenAI без Алпёге, а Бюбек назвал эти обвинения ложными. Математический фон — программа «форсированного» blow-up, начатая Диего Кордовой и Луисом Мартинесом-Зороа.
Почему это важно для индустрии
Если формулировка OpenAI подтвердится, это станет первым случаем, когда ИИ-модель закрывает или почти закрывает задачу тысячелетия с призом в 1 млн долларов. Пока же подтверждённая часть истории — конкретный механизм: человек-математик с LLM (Claude и OpenAI Codex, включая GPT-5.6 Sol и Astra) примерно за месяц довёл программу Кордовы и Мартинеса-Зороа до гладкой силы и уравнений Эйлера, что сам Бакмастер называет «моментом Deep Blue–Каспарова» для математики. Для отрасли это означает, что цикл «LLM + формальный проверщик» даёт воспроизводимые результаты в исследованиях по дифференциальным уравнениям, хотя развернуть или закупить нечего: публичного API, доступной модели и метрик нет. Билдеры уже могут строить research-агентные workflow с Lean-чекпоинтами, трекеры статуса верификации громких научных заявлений и инструменты provenance/атрибуции; рынок research-копиотов находится на стадии формирования нарратива, а не продаж.
Почему это важно для пользователей
Объявлять «задача тысячелетия решена» пока преждевременно: премия не присуждена, а заявление стало предметом спора об авторстве, поэтому строить на нём выводы рано. К чему можно присматриваться конкретно: публикация preprint и Lean-сертификата от OpenAI, официальная реакция Института Клэя и дальнейшие позиции Бюбека и Бакмастера. Работы по уравнениям Эйлера и Буссинеска уже выложены публично — с ними можно ознакомиться в заявлении на странице Бакмастера в NYU.
Что пока неизвестно / ограничения
Текст доказательства не опубликован, поэтому его содержание, корректность и связь с формулировкой задачи Клэя неизвестны. Неясно, признает ли Институт Клэя вариант с внешней силой (варианты c и d) решением задачи тысячелетия, даже если доказательство окажется верным. Название модели, получившей доказательство, не раскрывается, данных об API, ценах и метриках нет. Позиции сторон в споре о приоритете — это заявления самих участников и пока не проверены независимо.
Источники
- Заявление Тристана Бакмастера (NYU Courant) о LLM-ассистированных результатах и споре с OpenAI
- Scientific American — статья AI may have just solved a million-dollar math problem. The field will never be the same
- Clay Mathematics Institute — страница задачи Navier-Stokes Equation (Millennium Prize Problems)
Автор
Look at AI, редакция