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 отрицает целевой доступ к материалам математиков, но не исключает, что обезличенные данные их использования продуктов могли помочь улучшить модели, хотя считает это маловероятным. — На миллион долларов от Института Клэя компания претендовать не собирается. “сбежавшая нейросеть”: в телеграм / на Бусти