Внутренней системе искусственного интеллекта OpenAI удалось найти решение одной из самых сложных задач современной математики – проблемы существования и гладкости решений уравнений Навье–Стокса, входящей в список "задач тысячелетия", передает inbusiness.kz.
Компания утверждает, что созданное ее системой доказательство показывает: движение жидкости, описываемое уравнениями Навье–Стокса, при определенных условиях может за конечное время прийти к сингулярности – состоянию, при котором скорость жидкости неограниченно возрастает.
Проблема оставалась нерешенной около 90 лет. Уравнения Навье–Стокса используются для описания движения жидкостей и газов и применяются, в частности, при проектировании самолетов, прогнозировании погоды и изучении кровотока.
Для поиска решения OpenAI задействовала внутреннюю модель, которая, по утверждению компании, значительно превосходит GPT-6 Astra по математическим возможностям. Над задачей одновременно работали около 10 тыс. ИИ-агентов.
Система пришла к решению примерно через 88 часов после запуска работы. Еще 17 часов потребовалось GPT-6 Astra для формализации и проверки доказательства в системе Lean.
Всего в ходе работы над различными математическими задачами агенты отправили 4,9 млн сообщений и использовали около 300 млрд выходных токенов. Непосредственно на решение проблемы Навье–Стокса пришлось 2,7 млн сообщений и около 130 млрд токенов.
В основе предложенного решения лежит модель вихря, который закручивается внутрь и одновременно вытягивается. По утверждению OpenAI, при этом энергия системы остается конечной, несмотря на неограниченный рост скорости движения жидкости.
Компания опубликовала как описание доказательства, так и его формальную версию на Lean. При этом OpenAI подчеркнула, что не намерена претендовать на премию в 1 млн долларов, предусмотренную за решение задач тысячелетия.
Впрочем, заявление компании еще предстоит оценить математическому сообществу. Сам факт публикации доказательства не означает автоматического признания задачи окончательно решенной – работа должна пройти независимую проверку специалистов.
Читайте по теме:
ИИ уничтожил процветающий бизнес фрилансеров из Кении
