10 000 агентов, которым запретили сдаваться. OpenAI объявила о решении задачи Навье-Стокса

Просто выдохните и вдумайтесь: мы живем во время, когда ИИ решил одну из главных математических задач тысячилетия. Переваривать это мы будем еще много дней.

Предысторию я разбирал здесь. Подробный пост будет завтра, пока тезисно:

— Компания опубликовала текст доказательства и формализацию в Lean. Заявленный результат закрывает варианты C и D задачи тысячелетия. Это уже публичные материалы для проверки, а не сообщение о закрытом доказательстве.

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

— Доказательство нашла новая внутренняя модель, по оценке OpenAI значительно сильнее GPT-6 Astra. Её начали обучать 28 августа; обучение продолжается.

— В группе, нашедшей решение, работало около 10 000 агентов одновременно. Доказательство получили через 88 часов после запуска первых агентов. Ещё 17 часов заняли формализация и проверка в Lean с помощью GPT-6 Astra.

— На работу над Навье–Стоксом ушло примерно 130 млрд выходных токенов и 2,7 млн сообщений агентов. По всей исследовательской программе — 300 млрд токенов.

— Сначала агенты, по заявлению компании, решили Эйлера без внешней силы. Этот результат передали агентам, работавшим над Навье–Стоксом. Полезные находки разных групп объединяли через Codex и использовали в следующих промптах.

— OpenAI подтверждает: работу начали 1 сентября после слухов о решении задач тысячелетия. Компания признаёт приоритет Бакмастера и Альпёге по Эйлеру с внешней силой, но утверждает, что её доказательства существенно отличаются.

— По поводу данных появилась существенная оговорка. OpenAI отрицает целевой доступ к материалам математиков, но не исключает, что обезличенные данные их использования продуктов могли помочь улучшить модели, хотя считает это маловероятным.

— На миллион долларов от Института Клэя компания претендовать не собирается.

“сбежавшая нейросеть”: в телеграм / на Бусти