20 сентября 2026 г.
Черновики из сессий Codex могли улучшить модели OpenAI: компания это не исключает
Математик Тристан Бакмастер весь проект по Навье-Стоксу складывал черновики в сессии Codex.
Тристан Бакмастер спросил OpenAI, учились ли её модели на его черновиках из сессий Codex. Ясного ответа не получил.
Бакмастер из Нью-Йоркского университета и Левент Альпёге из Anthropic объявили о близком результате по Навье-Стоксу 7 сентября. Через 12 часов OpenAI заявила, что задачу доказали её агенты.
OpenAI отрицает прямой доступ к материалам Бакмастера, но признаёт, что не может исключить: обезличенные данные из использования её продуктов помогли улучшить модели. Под это условие попадает каждый, кто держит рабочие черновики в сессии агента.
Счёт машины. В прогоне OpenAI работали около 10 000 автономных агентов: 88 часов, почти 5 млн сообщений между ними, счёт за вычисления в несколько миллионов долларов (Quanta Magazine, 08.09).
Повторить нельзя. Считала внутренняя модель OpenAI, которой нет в открытом доступе. По описанию MIT Technology Review, она резко превосходит Astra, вышедшую неделей раньше. Бакмастер и Альпёге работали на публичных моделях: Claude и Codex на GPT-5.6 Sol для рассуждений, Astra для аудита и текста.
Раньше такое доказательство приносило человеку премию и признание коллег. Теперь премию брать некому: OpenAI публично отказалась претендовать на $1 млн Clay Mathematics Institute за задачу тысячелетия.
Спор идёт об именах. Себастьен Бубек из OpenAI говорит, что чужие промпты и доказательства в работу не брали, и позже признал приоритет Альпёге и Бакмастера. Сам Бакмастер утверждает, что премию ему предлагали забрать только при условии, что имя Альпёге уберут из-за его работы в Anthropic.
Lean-сертификаты OpenAI выложила в репозиторий openai/NavierStokesAndEuler: Lean 4.34.0-rc2 с Mathlib, сборка двумя командами, в подпапке ComparatorChallenges лежит инструкция независимой проверки. Доказательство на 166 страниц Lean принял, но люди-математики по существу его не читали (Science News, 08.09).
Теренс Тао, один из самых известных математиков мира, предупреждает: разбор открытых задач карьерным способом может разрушить экосистему, из которой выросло бы следующее поколение математических техник и практиков.
Пока математики не разобрали 166 страниц по существу, доказательство остаётся заявкой OpenAI.
Первоисточник
