OpenAI заявила о прорыве в задаче Навье—Стокса — но спор только начинается
OpenAI, по данным Scientific American, заявила, что её внутренняя языковая модель довела до конца доказательство для полной системы уравнений Навье—Стокса. Это одна из задач тысячелетия Clay Mathematics Institute: за признанное решение обещан миллион долларов.
Но премию пока не вручали. На странице Clay задача всё ещё помечена как Unsolved («нерешённая»). Поэтому правильная формулировка новости сейчас не «ИИ решил задачу», а «OpenAI заявила о доказательстве, которое математическому сообществу и Clay ещё предстоит разобрать».
Что именно могло быть найдено
Уравнения Навье—Стокса описывают течение жидкости и газа — от следа за крылом самолёта до турбулентности. В формулировке задачи нужно понять, всегда ли у трёхмерных уравнений существуют гладкие решения или они могут «взорваться»: стать бесконечными за конечное время.
Источник: Wikimedia Commons, CC BY-SA 4.0.
Как пишет Scientific American, ключом оказался приём forcing — член уравнений, который многие математики в привычной интерпретации задачи считают несущественным. Диего Кордоба и Луис Мартинес-Сороа раньше предположили, что именно через него можно получить «взрыв» решения. Если формальная версия Clay действительно допускает этот ход, это может закрывать задачу буквально; если нет — речь идёт о важном, но спорном обходе ожидаемого смысла проблемы.
До OpenAI над этим уже работали люди и чат-боты
Математик Тристан Бакмастер утверждает, что он и Левент Алпоге, сотрудник Anthropic, около года исследовали этот путь с помощью языковых моделей. По его словам, 15 августа они доказали «взрыв» для родственных уравнений Эйлера и проверили результат в Lean — языке формальной верификации. Затем они пытались перевести машинное доказательство в понятный людям вид.
Далее начинается конфликт. Бакмастер утверждает, что сведения об их подходе дошли до OpenAI, после чего её команда сфокусировалась на forcing и за выходные получила результат для Навье—Стокса. Он также говорит, что ему предложили единоличное авторство будущей статьи без Алпоге. Это версия Бакмастера; Scientific American пишет, что OpenAI не ответила на запрос о комментарии.
Почему это история не только про приз
Даже если доказательство выдержит проверку, его значение шире миллиона долларов. Здесь уже видны две отдельные перемены: модели помогают искать ходы в математике и формально проверять их, а академическое соавторство не успевает за скоростью такой работы.
Но именно проверка остаётся главным действием. До рецензии, публичного полного текста и позиции Clay объявлять «первую решённую задачу тысячелетия силами ИИ» рано. Сейчас это, возможно, большой прорыв — и уже точно большой спор о том, кому он принадлежит и что считать решением.
