Институт математики Клэя (CMI) впервые публично отреагировал на сообщения о решении задачи Навье — Стокса. Формулировка осторожная: «задача Навье — Стокса, по-видимому, решена». Институт не подтверждает результат окончательно и не называет имён авторов, но запускает процесс проверки. «Процесс намеренно неспешный, но мы будем публиковать обновления», — говорится в заявлении CMI.
Задача Навье — Стокса — одна из семи «задач тысячелетия», объявленных в Париже в 2000 году. За решение каждой обещан 1 млн долларов. Уравнения Навье — Стокса описывают движение вязкой жидкости и газа: от воды в трубах до атмосферных потоков. Вопрос, который поставил институт, звучит так: всегда ли в трёхмерном пространстве эти уравнения имеют гладкое, полное решение, или оно может «сломаться» за конечное время? Для инженеров и физиков это не абстракция: если решение существует не всегда, то математические модели турбулентности и погоды могут терять корректность.
| Задача | Год объявления | Приз | Статус |
|---|---|---|---|
| Навье — Стокса | 2000 | 1 млн долларов | По-видимому, решена, идёт проверка |
CMI отдельно отметил, что «растущая способность новых технологий ускорять математические исследования усилила это чувство ожидания». Это редкое для института упоминание вычислительных методов в контексте фундаментальной математики. Оно перекликается с тем, как в последние годы нейросети и системы автоматического доказательства теорем всё чаще используются для проверки гипотез и поиска контрпримеров.
Вопрос состоит в том, всегда ли уравнения движения жидкости в трёхмерном пространстве имеют гладкое полное решение.
Однако вокруг возможного решения уже разгорается конфликт. Математик Тристан Бакмастер обвинил OpenAI в том, что компания перенаправила ресурсы на задачу Навье — Стокса после того, как распространились слухи о его исследовании. По его словам, его черновики попали в обучающие данные, а его соавтору Левенту Алпёге, который работает в Anthropic, отказали в соавторстве. Эти обвинения пока не подтверждены независимо, и CMI не комментирует их. Но они показывают, как передовые ИИ-лаборатории всё активнее вторгаются в область, где исторически работали академические математики.
Пока решение находится на стадии рецензирования, и институт не называет сроков. Даже если проверка подтвердит результат, это не обязательно означает, что все семь задач тысячелетия решены: каждая из них независима. Но сам факт того, что CMI счёл нужным публично отреагировать на сообщение, говорит о серьёзности заявки. Для читателя, который следит за ИИ, эта история важна не только математическим результатом, но и вопросом о том, как распределяются кредиты и ресурсы, когда в игру вступают крупные технологические компании.
