Задача, которую люди не решали 90 лет. Рой из 10 000 ИИ-агентов — за пять суток.
Задача, которую люди не решали 90 лет. Рой из 10 000 ИИ-агентов — за пять суток. Но приз в миллион долларов OpenAI не возьмёт. Компания называет это не решением, а «снимком прогресса». Речь о Навье—Стокса — одной из семи задач тысячелетия Института Клэя. Уравнения описывают движение жидкости и газа. Вопрос: может ли течение само разогнаться до бесконечной скорости за конечное время? 8 сентября агенты OpenAI нашли явную конструкцию такого разгона и оформили доказательство на языке Lean. Работали на непубличной модели (мощнее GPT-6 Astra), обменялись 2,7 млн сообщений, потратили ~130 млрд токенов. От запуска до результата — 105 часов. Формальная проверка сообществом математиков ещё впереди — публикация не равна официальному признанию. Но для каталога это сигнал: модели выходят в фундаментальную науку, пока в виде экспериментальной системы, не публичного продукта. Разбор целиком на NeiroAI