OpenAI: ИИ-агенты предложили решение задачи Навье — Стокса за 88 часов

OpenAI сообщила, что внутренняя система из ~10 000 параллельных ИИ-агентов построила конечное по времени сингулярное решение трёхмерных уравнений Навье — Стокса со сглаженной внешней силой — один из маршрутов формулировки задачи тысячелетия. На работу ушло 88 часов, ещё 17 часов — на формализацию и проверку в Lean; 2,7 млн сообщений и около 130 млрд выходных токенов. Задача о гладкости невынужденных уравнений остаётся открытой.

• Около 10 000 одновременных агентов, 2,7 млн сообщений и 130 млрд токенов
• Предложенное решение получено через 88 часов, проверка в Lean заняла ещё 17 часов
• Результат касается уравнений со сглаженной внешней силой, а не невынужденного случая
• Математики Бакмастер и Альпёге ранее продвинулись в смежной задаче по уравнениям Эйлера