OpenAI заявила о решении более 100 математических задач
OpenAI утверждает, что её новая внутренняя ИИ-модель решила более 100 давно открытых математических задач. Масштаб заявленных достижений удивил даже математиков самой компании. Теперь OpenAI привлекла независимую группу из девяти учёных, которые помогут оценивать новые результаты и определять, как представлять их научному сообществу.
О создании консультативной группы по математике и искусственному интеллекту (Advisory Group on Mathematics and Artificial Intelligence) компания объявила 21 сентября 2026 года. Группа будет работать независимо от OpenAI на базе Института перспективных исследований в Принстоне, США.
При этом речь идёт не о том, что девять математиков уже проверили и подтвердили все заявленные решения. OpenAI пока не опубликовала полный перечень более чем 100 задач вместе с доказательствами, которые позволили бы независимо оценить каждый результат.
Новая группа должна помочь компании разобраться с другой проблемой: как публиковать математические открытия, если ИИ начинает находить их быстрее, чем исследователи успевают изучать и обсуждать полученные доказательства.
Впрочем, участники группы намерены сотрудничать не только с OpenAI, но и с другими разработчиками искусственного интеллекта.
Как OpenAI пришла к заявлению о более чем 100 решённых задачах
В августе OpenAI представила десять результатов в математике и теоретической информатике, полученных с помощью внутренних ИИ-систем. Среди них были как решения ранее открытых проблем, так и существенный прогресс в задачах, которые ещё не удалось полностью закрыть.
Позднее, 3 сентября, компания официально представила GPT-6 Astra. Подробнее о возможностях этой модели и результатах её испытаний мы рассказывали в отдельном материале о GPT-6 Astra.
Уже 8 сентября OpenAI опубликовала предложенное её ИИ-системой решение задачи существования и гладкости решений уравнений Навье — Стокса. Это одна из семи знаменитых задач тысячелетия, поставленных Математическим институтом Клэя.
Задача связана с фундаментальным вопросом: всегда ли гладкое движение трёхмерной жидкости, описываемое этими уравнениями, остаётся гладким или при определённых условиях могут возникать сингулярности, при которых математическое решение теряет гладкость.
Для получения предложенного доказательства OpenAI использовала систему из тысяч взаимодействующих ИИ-агентов на базе новой внутренней модели. Компания также представила формализованную версию доказательства на языке Lean, предназначенном для машинной проверки математических рассуждений.
Однако сама публикация доказательства ещё не означает, что задача тысячелетия получила окончательно признанное научным сообществом решение.
В новом заявлении OpenAI сообщила, что та же внутренняя модель, обучение которой началось 28 августа, решила ещё более 100 давно открытых задач из различных областей математики.
Название этой модели компания не раскрыла. Из предыдущих публикаций известно, что речь идёт о системе, математические возможности которой, по оценке OpenAI, значительно превосходят GPT-6 Astra.
Подробности новых результатов пока остаются главным пробелом в этой истории. Без полного перечня задач и соответствующих доказательств невозможно установить, какие именно математические проблемы удалось решить, насколько новыми являются предложенные методы и какие результаты уже прошли независимую проверку.
Почему математиков обеспокоила скорость работы ИИ
11 сентября группа известных математиков, включая 25 лауреатов Филдсовской премии, выступила с открытым письмом «A Severe Misalignment of AI in Mathematics». Его авторы выразили обеспокоенность тем, что разработчики искусственного интеллекта превращают решение известных открытых задач в своеобразное соревнование по демонстрации возможностей новых моделей.
Проблема заключается не только в количестве полученных доказательств. Для развития математики важно понимать, каким образом найдено решение, какие новые идеи оно предлагает и как связано с предыдущими исследованиями.
Авторы письма опасаются, что слишком быстрая публикация результатов может осложнить проверку доказательств, изучение новых методов и корректное признание вклада исследователей, чьи работы использовались при поиске решений.
При этом математическое сообщество не выступает против использования ИИ как такового. Вопрос заключается в том, как превратить возможности новых моделей в инструмент развития науки, а не просто в способ наращивать количество объявленных открытий.
Чем займётся независимая группа математиков
Первоначально в состав консультативной группы вошли девять учёных. Среди них — математик Тимоти Гауэрс, лауреат Филдсовской премии, специалист по теоретической физике Эдвард Виттен и математик Мартин Хайрер.
Группа будет помогать оценивать научную значимость новых результатов, разрабатывать рекомендации по порядку их публикации и консультировать по вопросам соблюдения академических стандартов.
В её задачи также входит обсуждение того, как инструменты искусственного интеллекта могут помогать математическим исследованиям и обучению.
Участники группы не будут получать вознаграждение от OpenAI. Они смогут самостоятельно публиковать рекомендации, комментировать влияние компании на математическую науку и поднимать вопросы, которые OpenAI перед ними не ставила.
При этом консультативная группа не получает права управлять исследованиями компании. Она не будет давать OpenAI рекомендации о том, следует ли ускорять или замедлять развитие математических возможностей её моделей.
Участники также подчёркивают, что не обладают полномочиями принимать решения за какие-либо AI-компании. Ответственность за выпуск новых моделей и использование полученных результатов остаётся за разработчиками.
Таким образом, новая группа должна помочь наладить взаимодействие между разработчиками ИИ и математическим сообществом. Её ближайшая задача — подготовить рекомендации по публикации большого количества результатов, о которых сообщила OpenAI.
А вот вопрос о том, действительно ли новая модель решила более 100 давно открытых математических задач, будет зависеть от содержания доказательств и их последующей научной проверки.
Источник: OpenAI.
