Совет математиков при OpenAI не сможет её притормозить: у 9 учёных только право советовать

Ещё 17 часов ушло на формализацию, между агентами прошло почти 5 млн сообщений. Вычисления обошлись в несколько миллионов долларов, оценка Себастьена Бюбека из OpenAI. На уравнение Эйлера хватило примерно 100 агентов и 50 часов.

Результат проверен в Lean: эта система читает доказательство строка за строкой и не верит автору на слово.

Ради такого потока и собран совет. OpenAI позвала 9 математиков и прямо назвала им первую задачу: посоветовать, как выкладывать большое число значимых результатов, которые выдаёт её внутренняя модель.

Право только советовать. Тормозить или разворачивать исследования OpenAI совет не может. Учёные работают без оплаты, заявлены независимыми от любой ИИ-компании, а рекомендации обещают публиковать у себя на сайте — в том числе непрошеные.

Из более чем 100 закрытых задач OpenAI показала 10.

Раньше спор шёл снаружи. 11 сентября декларацию mathandai.org подписали 26 филдсовских лауреатов, среди них Теренс Тао и Питер Шольце: цели ИИ-лабораторий рассогласованы с целями математики, а решать эти вопросы надо безотлагательно.

Теперь один из подписантов работает в совете. Камилло Де Леллис из IAS — единственный из 9, кто поставил подпись и под письмом лауреатов.

Повторить не выйдет. Модель, которой получены эти результаты, публике недоступна. OpenAI описывает её как значительно более способную, чем GPT-6 Astra.

Практику сегодня доступен GPT-6 Astra: окно 1 050 000 токенов, $10 за миллион входных и $50 за миллион выходных (доки OpenAI, 22.09.2026).

Рекомендации совет обещает выкладывать на agmai.org — тогда и станет видно, что именно он советует.