OpenAI заявила о получении решения одной из семи «задач тысячелетия» — проблемы существования и гладкости решений уравнений Навье — Стокса. По данным компании, внутренней системе искусственного интеллекта потребовалось около 88 часов работы почти 10 тысяч агентов для получения доказательства, сообщает корреспондент Qazinform.
Уравнения Навье — Стокса описывают движение жидкостей и используются, в частности, при проектировании самолетов, прогнозировании погоды и изучении кровотока. На протяжении примерно 90 лет математики не могли установить, может ли гладкое движение трехмерной жидкости привести к сингулярности — ситуации, при которой скорость жидкости становится неограниченной за конечное время.
Согласно опубликованному OpenAI результату, ее система получила аналитическое доказательство того, что изначально гладкая жидкость, находящаяся в состоянии покоя, при воздействии гладкой внешней силы может за конечное время достичь сингулярности. При этом энергия системы остается конечной на протяжении всего процесса.
Предложенное решение описывает вихревую структуру, которая закручивается внутрь и постепенно вытягивается. Центральная область вихря сжимается и ускоряется таким образом, что общая энергия остается конечной, в то время как скорость жидкости неограниченно возрастает.
Для работы над задачей OpenAI использовала внутреннюю модель, которую компания называет значительно более мощной, чем GPT-6 Astra. В рамках проекта была создана система координируемых ИИ-агентов. Группа, работавшая над задачей Навье — Стокса, насчитывала около 10 тысяч одновременно действующих агентов.
Агенты обменялись примерно 2,7 млн сообщений и сгенерировали около 130 млрд токенов. Первоначальное решение было получено 5 сентября — примерно через 88 часов после начала работы. Формализация и проверка доказательства с помощью системы Lean заняли еще 17 часов.
Проблема Навье — Стокса входит в число семи задач тысячелетия, сформулированных Математическим институтом Клэя в 2000 году. За доказанное решение каждой из них предусмотрена премия в $1 млн.
При этом OpenAI заявила, что не намерена претендовать на денежную премию. Компания опубликовала описание доказательства и его формализацию в Lean, однако окончательное независимое признание результата институтом Клэя еще не получено.
В OpenAI подчеркнули, что рассматривают результат как демонстрацию возможностей современных ИИ-систем в математических исследованиях, а не как окончательную точку в развитии подобных технологий.
Ранее Qazinform сообщал о новых разработках OpenAI в области ИИ-агентов и связанных с ними вопросах безопасности.