OpenAI доказала парадокс Навье-Стокса, но отказалась от премии

OpenAI объявила о доказательстве парадокса Навье-Стокса

8 сентября 2026 года компания OpenAI сообщила о доказательстве того, что гладкое решение уравнений Навье-Стокса не всегда существует. Это открытие стало новым взглядом на одну из самых сложных задач в математике и физике, известную как «проблема тысячелетия». Однако, поскольку доказательство не относится к классической формулировке Clay Института, OpenAI отказалась претендовать на денежный приз.

Как было получено доказательство

Для работы использовалась внутренняя модель OpenAI, превосходящая по мощности GPT-6 Astra. Доказательство касается версии уравнений Навье-Стокса с гладкой внешней силой (варианты C и D). В процессе участвовали около 10 тысяч параллельно работающих агентов искусственного интеллекта, которые в течение 88 часов обменялись 2,7 миллиона сообщений и сгенерировали 130 миллиардов выходных токенов. Затем доказательство было формализовано в языке программирования Lean за 17 часов и автоматически проверено.

Стоимость повторного воспроизведения

По данным TechRepublic, повторить эти вычисления сторонней организации может стоить около 6 миллионов долларов США. Times of India оценивает затраты в диапазоне от 10 до 22,5 миллионов долларов.

Реакция научного сообщества и конкурентов

7 сентября 2026 года исследователи Тристан Бакмастер и Левент Альпёге опубликовали похожие результаты. Бакмастер выразил обеспокоенность использованием OpenAI их материалов на платформе Codex, но не предъявлял обвинений. OpenAI назвала эти заявления «ложными и провокационными», отметив, что начала работу только после того, как узнала о прогрессе других математиков. Кроме того, OpenAI предложила Бакмастеру соавторство, но потребовала исключить имя Альпёге из списка авторов.

11 сентября 25 лауреатов медали Филца опубликовали открытое письмо под названием «Серьёзное несоответствие ИИ в математике», в котором выразили обеспокоенность, что гонка ИИ-компаний в математике наносит вред науке. Среди подписавших — Терренс Тао, Петер Шольце и Седрик Вилани. Тао заявил, что ИИ пока не приносит реальной пользы людям.

Значение для математики и искусственного интеллекта

Это событие поднимает вопросы о роли ИИ в математике и этических аспектах его применения. Общество одновременно восхищается достижениями и опасается влияния ИИ на научное сообщество. Доказательство OpenAI проливает новый свет на одну из самых сложных математических проблем, но отказ от премии вызывает дополнительные вопросы. Это начало новой дискуссии о балансе между технологическим прогрессом и сохранением научных ценностей.