Следите за новостями по этой теме!
Подписаться на «Рифы и пачки / Твоя культура»
OpenAI заявила, что её исследовательская команда нашла решение задачи Навье—Стокса — одной из самых известных нерешённых математических проблем. Об этом ранее сообщили The New York Times и Wired, а затем компания рассказала о результатах в публикации в собственном блоге во вторник.
Задача Навье—Стокса описывает движение жидкостей и газов. Её формулировка связана с уравнениями, которые используются для анализа течений: от движения воздуха и воды до более сложных процессов в физике и инженерии. Главная математическая интрига заключается не в том, чтобы получить отдельный расчёт, а в том, чтобы строго доказать существование гладкого решения уравнений и показать, что оно не «ломается» — например, не приводит к появлению бесконечных значений за конечное время.
Эта задача входит в список семи «Задач тысячелетия», составленный Clay Mathematics Institute. За доказательство каждой из них назначена премия в 1 млн долларов. Пока большинство задач из списка остаются нерешёнными, поэтому заявление OpenAI автоматически оказалось в центре внимания.
По словам компании, для работы использовалась внутренняя модель искусственного интеллекта, превосходящая по возможностям недавно выпущенную GPT-6 Astra. OpenAI также заявила, что задействовала 10 000 агентов, работавших параллельно. Под «агентами» в данном случае подразумеваются отдельные процессы или копии модели, которые могут одновременно искать решения, проверять гипотезы и сравнивать математические шаги.
Обучение внутренней модели, как утверждает OpenAI, началось 28 августа. Компания сообщила, что система продемонстрировала «беспрецедентные» способности, однако приведённый материал обрывается на этом месте и не содержит полного описания результатов, доказательства или независимой проверки.
Именно здесь начинается главная часть истории. В математике заявление о найденном решении ещё не равно доказательству. Для получения премии и признания результата специалистам нужно проверить строгий текст доказательства, исключить ошибки и убедиться, что ИИ не пропустил скрытое допущение. Иными словами, даже если тысячи цифровых помощников одновременно пришли к одному выводу, математика всё равно потребует показать каждый шаг — без аплодисментов, маркетингового тумана и веры на слово.
На момент публикации из доступного сообщения следует только то, что OpenAI объявила о находке. Сам факт окончательного решения задачи Навье—Стокса, его соответствие требованиям премии и реакция независимых математиков требуют дополнительного подтверждения.
OpenAI объявила о возможном решении задачи Навье—Стокса, одной из семи «Задач тысячелетия», над которыми математики работают десятилетиями. Задача посвящена уравнениям, описывающим движение жидкостей и газов. Для окончательного решения необходимо строго доказать, что уравнения имеют корректное гладкое решение и не порождают математические «взрывы» за конечное время.
Компания утверждает, что использовала внутреннюю модель искусственного интеллекта, превосходящую недавно выпущенную GPT-6 Astra, а также 10 000 агентов, работавших параллельно. Обучение модели якобы началось 28 августа. OpenAI сообщила, что система проявила «беспрецедентные» способности. Информацию о заявлении ранее распространили The New York Times и Wired, после чего компания разместила сообщение в собственном блоге.
Каждая из семи задач сопровождается премией в 1 млн долларов. Однако наличие крупной награды не превращает заявление в доказательство. Для признания результата независимые математики должны получить полный текст решения, проверить каждый переход и установить, что в нём нет ошибок, недоказанных предположений или подмены строгого доказательства численными экспериментами.
В предоставленном материале полного доказательства, подробного описания алгоритма и независимой оценки нет: текст обрывается после упоминания «беспрецедентных» способностей модели. Поэтому корректный вывод пока ограничен формулировкой: OpenAI заявила о найденном решении задачи Навье—Стокса. Подтверждены ли результат, его соответствие правилам премии и научная ценность, ещё предстоит установить. История важна для развития ИИ и автоматизации математических исследований, но одновременно показывает границу между громким объявлением и проверенным научным открытием.