OpenAI решила задачу тысячелетия: ИИ доказал уравнение Навье-Стокса за 88 часов

Компания OpenAI заявила о математическом прорыве: её искусственный интеллект доказал уравнение Навье-Стокса — одну из семи «задач тысячелетия», над которой учёные бились почти 90 лет. Как сообщает «Информатор», об этом стало известно 8 сентября, и новость сразу вызвала бурные дискуссии среди математиков.

Что такое уравнение Навье-Стокса

Уравнение Навье-Стокса описывает движение жидкостей и газов — воды и воздуха. Его активно применяют в прогнозировании погоды и проектировании самолётов. Десятилетиями математики пытались выяснить, могут ли в трёхмерном гладком потоке возникать разрывы, когда скорость становится бесконечной за конечный промежуток времени.

За доказательством стоит внутренняя нейросеть OpenAI, которую компания не раскрыла. По словам разработчиков, она существенно превосходит по возможностям новую модель GPT-6 Astra. Компания сразу заявила, что не претендует на денежное вознаграждение, хотя за решение каждой «задачи тысячелетия» Математический институт Клэя обещает 1 миллион долларов.

Как искусственный интеллект доказывал задачу

Для доказательства инженеры развернули около 10 тысяч автономных агентов, которые сформировали доказательство на 165 страницах. Обучение системы стартовало 28 августа и продолжается до сих пор. Цифровые агенты работали непрерывно 88 часов, после чего модель GPT-6 Astra потратила ещё 17 часов на формализацию и проверку доказательства с помощью системы Lean.

Масштаб вычислений поражает: во время работы искусственный интеллект сгенерировал 300 миллиардов токенов и обменялся 4,9 миллиона сообщений. Непосредственно на задачу Навье-Стокса пришлось 2,7 миллиона сообщений и 130 миллиардов токенов. По оценкам, такой объём вычислений для обычного пользователя стоил бы около 10 миллионов долларов по розничным тарифам компании.

Почему учёные сомневаются

Несмотря на масштаб, анонс вызвал споры. Профессор математики Нью-Йоркского университета Тристан Бакмастер заявил, что вместе с коллегой заметил в доказательстве сходство с наработками, которые уже циркулировали в научном сообществе. Главный вопрос — действительно ли ИИ самостоятельно открыл решение, а не скомпилировал существующие идеи. Пока результат не прошёл независимую экспертизу, математики призывают не спешить с выводами.

Ранее из семи «задач тысячелетия» была решена только гипотеза Пуанкаре — это сделал математик Григорий Перельман в 2003 году, отказавшись от премии. Если доказательство Навье-Стокса подтвердят, это станет вторым случаем в истории. Украина в свою очередь готовит собственный закон об искусственном интеллекте и развивает национальную языковую модель, чтобы стать одним из лидеров в сфере ИИ.