Компания OpenAI сообщила, что ее внутренняя
система искусственного интеллекта
решила одну из семи «задач тысячелетия» — проблему существования и гладкости
решений уравнений Навье–Стокса,
которая не давалась математикам около 90 лет.
До 10 тыс. ИИ-агентов работали параллельно
88 часов, чтобы получить доказательство,
а затем еще 17 часов ушло на его верификацию.
OpenAI заявила, что не будет претендовать
на приз в $1 млн и рассматривает
результат как демонстрацию прогресса
своих моделей
Внутренняя модель искусственного интеллекта OpenAI, которая
еще не была публично представлена, нашла
решение задачи Навье–Стокса — одной
из семи «задач тысячелетия». Об этом сообщается на сайте OpenAI.
Уравнения, сформулированные в XIX веке,
описывают движение жидкостей и газов
и используются в авиастроении, метеорологии
и медицине. Вопрос о том, может ли гладкое
трехмерное течение жидкости развить
сингулярность (бесконечную скорость
за конечное время), оставался открытым
с 1934 г. Решение, по данным компании, было
получено внутренней моделью, которая
«значительно превосходит» публичную
GPT‑6 Astra.
Система развернула до 10 тыс.
взаимодействующих ИИ-агентов, которые
начали работу 1 сентября и нашли решение 5 сентября. В процессе было сгенерировано 2,7 млн
сообщений и использовано около 130 млрд
токенов. Агенты сначала решили связанную
задачу для уравнений Эйлера (версию
Навье–Стокса без вязкости) — на это ушло
50 часов. Затем они приступили к уравнению Навье-Стокса.
В общей сложности поиск решения занял примерно 88 часов. Еще 17 часов ушло на формализацию и верификацию с помощью GPT-6 Astra.
Представители компании заявили, что
не претендуют на приз в $1
млн и публикуют результат, чтобы
продемонстрировать скорость прогресса ИИ.
Затраты на вычисления для этой задачи могли бы составить около $15 млн,
если бы их оплачивал клиент, сообщил New Scientist со ссылкой на заявление представителей OpenAI на пресс-конференции.
Объявление вызвало споры в математическом
сообществе. Математик Нью-Йоркского
университета Тристан Бакмастер и исследователь Anthropic Левент Альпеге уже
опубликовали работы по близким задачам,
включая «форсированную» версию уравнений
Эйлера, и выразили обеспокоенность, что
OpenAI могла ускорить свои исследования,
узнав об их направлении, пишет
Axios.
Глава OpenAI Сэм Альтман отверг обвинения в соцсети X. По его словам, компания изначально полагала, что другая команда также решила эту задачу, и была открыта к сотрудничеству и совместному релизу. Однако выяснилось, что у коллег есть решение для уравнений Эйлера, но не для Навье–Стокса. OpenAI предложила им выступить первыми и даже рассмотреть возможность совместной работы над переработкой доказательства, но переговоры не сложились. Ученые, по словам Сэма Альтмана, угрожали компании «необоснованными обвинениями в плагиате». Он также отметил, что подходы команд к решению различаются, а эксперимент был запущен после того, как на прошлой неделе в интернете появились слухи, будто модели Anthropic решили задачу тысячелетия, и OpenAI захотела проверить, сможет ли она повторить этот результат.
«Задачи
тысячелетия» — это семь фундаментальных
математических проблем, которые в 2000 г. определил Математический институт
Клэя. Их назвали «важными классическими
задачами, решение которых не находили
в течение многих лет». За решение
каждой из них было обещано вознаграждение
в $1 млн. Цель инициативы — поощрить ученых и показать общественности, что
математика полна нерешенных, но очень
важных задач.
На сегодня официально решена
только одна из семи задач — гипотеза
Пуанкаре. Ее доказал в 2003 г. российский математик Григорий Перельман,
который впоследствии отказался от вознаграждения.
