🤖 Профессор Принстона оспорил заявление OpenAI о решении задачи Навье–Стокса
Профессор математики Сергей Клайнерман опубликовал 21 сентября 2026 года в журнале Inference эссе «AI will not make mathematicians obsolete» — ответ на объявление OpenAI от 8 сентября: внутренняя система из ~10 000 агентов за 88 часов выдала решение задачи Навье–Стокса, одной из семи «задач тысячелетия» Clay Mathematics Institute, с аналитической запиской и формализацией в Lean.
🌍 Это первый случай, когда Millennium Prize problem заявлена решенной машиной, и сразу же — публичная профессиональная экспертиза результата ведущим математиком. Клайнерман утверждает, что машина решила лишь ослабленную forced-версию: сингулярность — бесконечная скорость потока в конечный момент времени — возникла под искусственно подобранной внешней силой из состояния покоя, тогда как настоящая нефорсированная задача остается открытой. Прагматический сигнал для индустрии: открытый репозиторий openai/NavierStokesAndEuler и Lean-формализация позволяют проверять доказательство независимо, а выбор осмысленных постановок задач остается за людьми.
👤 Громкое «ИИ решил задачу тысячелетия» устроено тоньше, чем звучит: реальные нефорсированные уравнения Навье–Стокса не тронуты. При этом называть это «eval-геймингом» оснований из открытых данных нет: система формально решила именно ту задачу, которая была формализована, а допуск forced-формулировки, разрешенной Чарли Фефферманом, Клайнерман называет ошибкой — это спор внутри самой математики. Эссе и пост OpenAI можно прочитать самостоятельно и составить собственное мнение. На страх молодых математиков «меня заменят?» автор отвечает категорично: исчезновение математики как человеческого занятия в число рисков ИИ не входит.
Источник 1: https://inference-review.com/article/ai-will-not-make-mathematicians-obsolete
Источник 2: https://openai.com/index/navier-stokes-solution/