8 сентября 2026 г.
Доказательство Навье-Стокса собрал рой из 10 000 агентов: людей среди авторов нет
Доказательство на 165 страниц вышло без единого автора-человека. Clay Mathematics Institute всё ещё держит задачу нерешённой.
OpenAI
@openai
Мы публикуем решение проблемы тысячелетия Навье-Стокса, одной из самых глубоких задач на переднем крае математики. Доказательство получила группа агентов на модели OpenAI следующего поколения, значительно более способной, чем GPT-6 Astra. Задача о том, может ли сломаться описание гладкого трёхмерного движения жидкости, которое задают уравнения Навье-Стокса. Она оставалась нерешённой около 90 лет.
· 179,7 тыс. просмотров
Слухи о том, что кто-то решил две задачи тысячелетия, дошли до OpenAI 1 сентября. Через 88 часов рой её агентов дописал доказательство.
Задача Навье-Стокса стояла открытой около 90 лет и ждала математиков. Теперь под текстом на 165 страниц стоит единственный автор: OpenAI, людей-соавторов нет.
Что именно доказали
Доказали обратное. Агенты не показали, что течение остаётся гладким. Они нашли поломку: при любой вязкости есть гладкая сила и решение, которое стартует из покоя с ограниченной энергией и разгоняется до бесконечной скорости за конечное время. По официальной формулировке Клэя это закрывает варианты «C» и «D», то есть опровержение, а не гладкость.
Вместе с PDF OpenAI выложила формализацию доказательства в Lean. Её собрала и проверила GPT-6 Astra, ушло ещё 17 часов. Само доказательство писала другая модель, внутренняя, «значительно более способная, чем GPT-6 Astra». Публичного доступа к ней нет, а её обучение началось 28 августа и на момент анонса продолжалось.
Одновременно работали около 10 000 агентов. Инструментов у них было два: кэш интернета и запуск кода. Только на Навье-Стокса они отправили 2,7 млн сообщений и сожгли около 130 млрд выходных токенов. По всему заходу вышло 4,9 млн сообщений и около 300 млрд.
Попутно те же агенты закрыли регулярность уравнений Эйлера в более сильном варианте, без внешней силы. Там хватило почти 100 агентов и примерно 50 часов, текст лежит отдельным PDF.
Почему задача всё ещё числится нерешённой
Премию OpenAI не берёт: компания прямо отказалась претендовать на Millennium Prize. Clay Mathematics Institute на странице задачи держит статус «Unsolved».
Спор за авторство. Профессор NYU Тристан Бакмастер 8 сентября опубликовал заявление. По его словам, 6 сентября на двух звонках Себастьен Бубек предлагал убрать из числа авторов Левента Альпёге из Anthropic, а на отказ ответил: «Why would you ruin your career?». Сам Бакмастер подчёркивает, что доказательства OpenAI не видел и никого ни в чём не обвиняет. OpenAI отвечает, что ни её исследователи, ни агенты работу Альпёге и Бакмастера до публичного релиза не видели.
Модель, собравшая доказательство, на 8 сентября всё ещё дообучалась.
* Meta Platforms Inc. признана в РФ экстремистской организацией, её деятельность запрещена; Facebook и Instagram заблокированы. Meta AI и другие продукты компании — продукты этой организации.
Первоисточник
