Американская корпорация OpenAI сообщила, что ее внутренней модели на основе искусственного интеллекта (ИИ) удалось найти решение уравнений Навье - Стокса.
"Мы представляем решение задачи о существовании и гладкости решений уравнений Навье - Стокса - одной из "задач тысячелетия". Это доказательство, полученное с помощью внутренней системы OpenAI, говорит о том, что в динамике уравнений Навье - Стокса, описывающих движение жидкости, за конечное время может возникнуть сингулярность. Мы публикуем описание самого доказательства и его формализацию на языке Lean", - следует из сообщения на сайте корпорации.
При решении уравнений применялись агенты внутренней ИИ-модели, показатели которой превосходят GPT-6 Astra. Агенты достигли решения через 88 часов с момента запуска первого из них.
В OpenAI отметили, что начали поиск решения после сообщений о том, что ученые смогли найти ответ на две из "задач тысячелетия".
Уравнения Навье - Стокса представляют собой систему дифференциальных уравнений, которая позволяет описывать движение вязкой ньютоновской жидкости. "Задачами тысячелетия" называют семь важнейших математических проблем, которые были сформулированы Математическим институтом Клея в 2000 году. За решение каждой из них назначена премия в $1 млн, сообщает ТАСС.