10 тысяч агентов и 130 млрд токенов: как OpenAI искала решение Навье—Стокса
Вчерашняя история про задачу Навье—Стокса была в первую очередь спором о доказательстве и авторстве. Теперь OpenAI опубликовала технический разбор: компания утверждает, что результат нашла не GPT-6 Astra, а более сильная внутренняя модель, которой управляла большая группа агентов.
Цифры выглядят как отчёт о вычислительной экспедиции, а не об одном удачном чате: около 10 тысяч агентов работали одновременно, решение появилось примерно через 88 часов после запуска первых групп. На саму задачу ушли 2,7 млн сообщений и около 130 млрд выходных токенов. По всем математическим задачам этого запуска — 4,9 млн сообщений и примерно 300 млрд токенов.
Как агенты дошли до доказательства
По версии OpenAI, после слухов о возможных решениях задач тысячелетия компания 1 сентября запустила несколько групп на все открытые задачи Clay. Агентам дали кэшированную версию интернета и возможность запускать код; внутри групп они могли обмениваться промежуточными результатами.
Сначала одна группа нашла контрпример для unforced-версии уравнений Эйлера — варианта без внешней силы. Затем OpenAI перебросила ресурсы на Навье—Стокса и давала следующим группам выводы предыдущих. Codex сводил наиболее полезные идеи из разных веток, а по ходу работы агентов переводили на более новую версию внутренней модели.
Источник: OpenAI; схема Neuro.ee по данным отчёта компании.
OpenAI пишет, что полученное доказательство строит сингулярность в гладком трёхмерном потоке с гладко заданной внешней силой и конечной энергией. Это важно: речь не о том, что в уравнение «вставили» бесконечность, а о точном балансе больших членов самого уравнения и гладкого forcing.
Где здесь GPT-6 Astra — и где граница заявления
После того как агентная группа нашла решение, GPT-6 Astra за 17 часов формализовала и проверила его в Lean — языке формальных доказательств. Это снижает риск простой арифметической или логической ошибки в записи, но не заменяет разбор математическим сообществом и Clay Mathematics Institute.
OpenAI прямо говорит, что не будет претендовать на миллион долларов премии Clay. На странице института задача по-прежнему отмечена как Unsolved. Поэтому «формально проверено в Lean» и «официально признано решением задачи тысячелетия» — пока разные статусы.
Компания также уточнила конфликт вокруг параллельной работы. По её версии, Левент Алпоге и Тристан Бакмастер получили результат для forced Euler — уравнений Эйлера с внешней силой, а OpenAI — для unforced Euler, прежде чем перейти к Навье—Стокса. OpenAI признаёт приоритет их работы по forced Euler и утверждает, что не видела их материалов до публичного релиза; при этом не исключает, что обезличенные данные от использования продуктов могли участвовать в улучшении модели. Этот вопрос остаётся предметом внешней проверки.
