OpenAI: 10 000 ИИ-агентов решили одну из задач тысячелетия на $1 млн

Математики из OpenAI заявили о решении одной из шести «задач тысячелетия», сформулированных Математическим институтом Клэя в 2000 году. Им удалось найти сингулярность в трёхмерных уравнениях Навье — Стокса — за это полагается премия в $1 млн.

По словам команды, над доказательством работали 10 000 автономных ИИ-агентов на закрытой модели, недоступной широкой публике. Результат уже прошёл формальную проверку на языке программирования Lean, что считается весомым признаком корректности.

Навье — Стокса описывают движение жидкостей и газов, от океанских течений до воздушных потоков. Ключевой открытый вопрос — всегда ли решения остаются «хорошими» или со временем могут возникнуть сингулярности с бесконечной скоростью в точке. Если доказательство подтвердится, это станет сильнейшим математическим результатом, полученным с помощью ИИ, и, возможно, изменит подход учёных к сложным задачам.