ИИ-агенты OpenAI решили одну из «задач тысячелетия» — проблему Навье — Стокса за $1 млнИстория·Модели OpenAI решают открытые задачи математики
ИИ впервые сам решил задачу, над которой лучшие математики мира бились почти сто лет, — и доказательство проверено машиной. Наука вступает в эпоху, когда самые трудные вопросы решают рои агентов за дни, а спор теперь не о том, сможет ли ИИ, а о том, кто успеет первым.
Около 10 000 агентов неопубликованной модели OpenAI за 88 часов доказали, что трёхмерные уравнения Навье — Стокса, описывающие течение жидкости, при гладкой внешней силе могут давать сингулярности — точки, где скорость потока уходит в бесконечность. Это закрывает одну из шести оставшихся задач тысячелетия Института Клэя с премией $1 млн. Агенты обменялись почти 5 млн сообщений, а доказательство затем за 17 часов формально проверили в системе Lean, поэтому математики считают его корректным. Результат опирается на метод «бесконечного каскада» Диего Кордобы и Луиса Мартинеса-Соровы. Профессор NYU Тристан Бакмастер и математик Anthropic Левент Альпёге, почти год работавшие над близкой задачей, обвинили OpenAI в том, что компания «влезла» в их работу; OpenAI признаёт, что начала 1 сентября после слухов об их прорыве, но отрицает доступ к их материалам. Бакмастер назвал событие «моментом Deep Blue — Каспаров».