OpenAI объявила, что её внутренняя система на основе ИИ нашла доказательство одной из шести нерешённых задач тысячелетия — знаменитой проблемы Навье — Стокса. За решение полагается $1 млн от Института Клэя, но получить эти деньги будет не так просто, как выпустить пресс-релиз.
Уравнения Навье — Стокса описывают течение жидкостей и газов и лежат в основе прогноза погоды, аэродинамики и климатических моделей. Полвека математики не могли доказать, возникает ли в этих уравнениях «сингулярность» — точка, где скорость потока становится бесконечной. Именно такую сингулярность, по словам компании, и нашла её система.
По данным OpenAI, около 10 000 ИИ-агентов на базе непубличной модели, более мощной, чем GPT-6 Astra, работали над задачей 88 часов, обменявшись 2,7 млн сообщений и потратив порядка 130 млрд токенов. После этого сама модель GPT-6 Astra ещё 17 часов формально проверяла доказательство в системе Lean — инструменте, который построчно верифицирует математическую логику.
Но у истории есть и другая сторона. За 12 часов до анонса OpenAI похожий результат представили математик из Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Алпёге. Бакмастер назвал один из итоговых текстов «ИИ-мусором» и намекнул, что команда OpenAI могла ознакомиться с их неопубликованными расчётами до собственной публикации. Кто до кого добрался первым — предмет спора.
Профессор Принстона Чарльз Фефферман, один из ведущих специалистов именно по этой задаче Института Клэя, назвал происходящее «потрясающим», но заметил: настоящие герои истории — математики Диего Кордоба и Луис Мартинес-Зороа, чья новая техника и сделала возможными оба решения, а ИИ лишь довёл её до конца. Официального признания от математического сообщества результат пока не получил — такая проверка обычно занимает годы, а не дни.
