«Мы хотим, чтобы математики были в центре»: OpenAI объявила о независимой консультативной группе по математике и ИИ

Что сообщила компания

21 сентября 2026 года OpenAI опубликовала объявление о консультативной группе по математике и искусственному интеллекту. Компания пишет, что 28 августа начала обучение новой внутренней модели, которая помимо решения задачи Навье — Стокса из списка Millennium Prize «решила более 100 давних открытых задач в большинстве областей математики». Там же зафиксирована внутренняя реакция: темп прогресса в математике, по словам компании, удивил математиков внутри OpenAI, что привело к обсуждениям о том, как лучше сообщить сообществу о быстром прогрессе, чтобы дать ему время подготовиться и адаптироваться.

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

Повод — письмо математиков

В объявлении прямо назван повод: недавнее открытое письмо «A Severe Misalignment of AI in Mathematics», авторы которого поднимают вопрос о негативных внешних эффектах решения открытых задач как бенчмарка для новых ИИ-систем. По формулировке OpenAI, эта критика показывает необходимость продуманного взаимодействия ИИ-компаний с математическим сообществом.

Сам текст опубликован 11 сентября 2026 года как декларация с DOI 10.5281/zenodo.22737750 и переводами на несколько языков, включая русский. Его тезис: за последние месяцы математические возможности языковых моделей выросли настолько, что они способны решать крупные нерешённые задачи во многих областях математики, однако стремление ИИ-компаний решать математические задачи как бенчмарк вредит науке математики и математическому сообществу. Цели ИИ-компаний и цели математического сообщества авторы называют «серьёзно рассогласованными» и рассматривают это как часть более широких проблем согласования, затрагивающих другие научные и творческие профессии.

Контекст этого разговора — заявление OpenAI от 8 сентября: её внутренняя система получила аналитическое доказательство существования сингулярности для трёхмерных уравнений Навье — Стокса и формализовала его в Lean. Тогда же компания написала, что использовала внутреннюю модель, «существенно более способную, чем GPT-6 Astra», и что считает важным информировать мир о темпе прогресса ИИ. Отдельно стоит держать в голове, что публикация рукописи и машинно проверяемого кода делает аргумент доступным для аудита, но не заменяет независимую проверку сообществом.

Кто вошёл в группу

Первоначальный состав — девять математиков: Франсуа Шарль (ENS-PSL), Камилло Де Леллис (IAS, GSSI), Тимоти Гауэрс (Collège de France, Кембридж), Мартин Хайрер (EPFL, Imperial College London), Никхил Шривастава (Беркли, Simons Institute), Ульрике Тильман (Оксфорд, INI), Рави Вакил (Стэнфорд), Эдвард Виттен (IAS) и Мелани Мэтчетт Вуд (Гарвард).

Группа размещена в Институте перспективных исследований (IAS) как проект Центра совместных исследований имени Джонатана М. Нельсона: в списке проектов центра указаны руководители Камилло Де Леллис (профессор Школы математики имени IBM фон Неймана) и Эдвард Виттен (профессор-эмеритус Школы естественных наук).

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

Полномочия и границы

На своём сайте группа формулирует мандат так: советовать ИИ-компаниям по вопросам их взаимодействия с математическими исследованиями и математическим сообществом, включая ответственное представление и выпуск математических результатов, и служить одним из каналов связи между математиками и ИИ-индустрией. Группа заявляет, что работает независимо от любой ИИ-компании, её участники не получают за эту работу оплату, а рекомендации публикуются на сайте. Давать рекомендации она готова любой ИИ-компании, чьи модели способны существенно повлиять на математику, но при этом прямо оговаривает: права принимать решения в компании у группы нет, и ответственность за решения компании остаётся на самой компании.

Формулировки OpenAI немного конкретнее по задачам: группа поможет оценивать значимость новых результатов, советовать, как координировать их распространение, и консультировать по академическим и профессиональным стандартам математического исследования, а также по тому, как инструменты компании могут поддерживать математические исследования и обучение. Группа работает независимо, может давать советы, о которых её не просили, публично высказываться о влиянии OpenAI на математику и обнародовать свои рекомендации; её участники не оплачиваются компанией и состав может меняться. Отдельно оговорено, что группа не отвечает за то, как компания будет выбирать темп внутреннего прогресса в математике.

Текущая задача у группы одна и названа конкретно: консультировать OpenAI по координации выпуска большого числа значимых результатов в математике, которые, по сообщению компании, получены её внутренней моделью. Группа приглашает математическое сообщество присылать соображения через форму на сайте и указывает адрес contact@agmai.org.

Что здесь проверяемо, а что пока нет

Проверяемое — сами документы: дата и содержание объявления OpenAI, состав группы и её размещение в IAS с указанием руководителей проекта, а также заявленные принципы работы (независимость, отсутствие оплаты, публичность рекомендаций, отсутствие права решать за компанию). Всё это зафиксировано в первичных публикациях, и именно из них следует главное ограничение: группа — канал связи и рецензирования формулировок, а не орган, который решает судьбу математических результатов.

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