OpenAI заявила, что ее ИИ решил одну из семи «задач тысячелетия»
OpenAI заявила, что ее внутренняя модель искусственного интеллекта нашла решение одной из семи знаменитых «задач тысячелетия» – проблемы существования и гладкости решений уравнений Навье – Стокса.
Компания опубликовала описание доказательства и его формализацию на языке Lean.
Уравнения Навье – Стокса используются для математического описания движения жидкостей и газов. Одна из главных нерешенных проблем заключалась в том, могут ли при определенных условиях их решения за конечное время образовывать сингулярности – точки, в которых математическое описание перестает оставаться гладким.
По данным OpenAI, созданное ИИ доказательство показывает, что такая сингулярность может возникнуть за конечное время.
Над задачей работали около 10 тыс. ИИ-агентов
Для исследования компания использовала внутреннюю модель, которая, по заявлению OpenAI, значительно превосходит по возможностям GPT-6 Astra.
В работе одновременно задействовали около 10 тыс. ИИ-агентов. Одни пытались доказать заданные утверждения, другие – найти их опровержения. Системам также давали более простые математические задачи, связанные с основной проблемой.
OpenAI сообщила, что решение было получено 5 сентября. После этого еще около 17 часов потребовалось для его формализации и проверки с использованием GPT-6 Astra.
В общей сложности в процессе работы было отправлено около 2,7 млн сообщений и сгенерировано примерно 130 млрд выходных токенов.
Возник спор вокруг авторства
Объявление OpenAI уже вызвало дискуссию в научном сообществе.
Математик Нью-Йоркского университета Тристан Бакмастер заявил, что работа компании могла опираться на результаты исследований, которые он проводил вместе с коллегой.
Таким образом, опубликованное доказательство еще предстоит подробно изучить и оценить независимым математикам. Само заявление OpenAI пока не означает автоматического официального признания задачи решенной.
За каждую из «задач тысячелетия» Математический институт Клэя установил премию в размере $1 млн.
09.09.2026 08:13:03