Сенсация или фейк?
16 мая 2026 года OpenAI выкатила пресс-релиз, от которого у математиков зачесались бороды. Якобы их новейшая reasoning-модель o5 (последняя в линейке) доказала одну из нерешенных задач Пола Эрдеша — венгерского гения, оставившего после себя 80 лет нерешенных головоломок. Конкретно — задачу о сумме обратных величин, сформулированную еще в 1945 году.
Заявление прозвучало как гром среди ясного неба. Но небо над AI-индустрией уже давно не ясное.
Почему сразу скепсис?
OpenAI не привыкать к громким заголовкам. Вспомните историю с "прорывом к AGI" в 2023 году, или скандал с исследованием Q* в 2024. Тогда тоже обещали золотые горы. Как писал наш обозреватель в статье Мастер хайпа, Сэм Олтман давно превратил hype в бизнес-модель. И вот новый виток.
Но есть и другая сторона: AI реально прогрессирует в математике. Google’s Gemini Deep Think в начале года взял золото на Международной математической олимпиаде (мы писали об этом тут). Так что теоретически — возможно.
Что говорит задача Эрдеша?
Эрдеш сформулировал сотни проблем, и эта — про сумму обратных величин. Если коротко: для любых натуральных чисел... (без деталей). Но суть в том, что без компьютера или специально обученного мозга тут не обойтись. OpenAI утверждает, что o5 построила формальное доказательство, верифицированное в Lean 4. Звучит убедительно.
Реакция математического сообщества
— Я бы не торопился с аплодисментами, — говорит математик из MIT (пожелавший остаться анонимным). — Автоматическая верификация — это хорошо, но доказательства, сгенерированные нейросетью, часто содержат логические дыры. Мы видели это на примере прошлых "прорывов".
В 2025 году Epoch AI уже публиковали исследование, где нейросети "решали" задачи с подвохом (см. Epoch AI: Нейросети ломают математику). Тогда выяснилось, что модели часто просто подгоняют ответ под известный результат.
Маркетинг или наука?
OpenAI сейчас как раз в финансовом цейтноте. 900 миллионов пользователей ChatGPT (мы писали здесь) — это здорово, но расходы на железо растут как на дрожжах. Парадокс Джевонса в действии: дешевые токены увеличивают спрос на вычисления (об этом тут). Им нужно новое доказательство своей состоятельности.
Параллельно конкуренты не дремлют. Anthropic строит свой "железный фундамент" (мы разбирали здесь), а xAI теряет ключевых сотрудников (ссылка). В такой обстановке громкое заявление — отличный способ отвлечь инвесторов и пользователей.
Есть ли доказательства?
OpenAI опубликовала код на GitHub? Нет. Они говорят, что передали доказательство на рецензирование в ведущий математический журнал. Но процесс рецензирования займет месяцы. Пока что — только пресс-релиз и видео с демонстрацией, где o5 выводит формулы на экране. Верить?
Важный нюанс: предыдущие «прорывы» OpenAI в математике (например, решение некоторых задач с помощью o3) позднее были опровергнуты или признаны неполными. Это не значит, что сейчас фейк, но осторожность не помешает.
Что на самом деле произошло?
Есть три сценария.
- Первый: OpenAI действительно решила задачу — и это меняет правила игры. AI становится инструментом для открытий.
- Второй: частичный успех — доказательство верно, но оно тривиально или использует неоправданные допущения. Такое уже было.
- Третий: чистый маркетинг. Просто способ удержать внимание на фоне ухода инвесторов.
Пока чаша весов склоняется ко второму. Но даже если это окажется полным фейком, сам факт такой рекламы подогреет интерес к AI-математике. А значит, в ближайшие годы мы увидим новый виток гонки за «решением нерешаемого».
А что будет завтра?
Если OpenAI не предоставит верифицированного доказательства в течение месяца, доверие к их заявлениям рухнет окончательно. Но пока они ловко балансируют на грани. Мой прогноз: через год мы забудем об этой конкретной задаче, но сама идея «AI-математик» станет мейнстримом. Google, DeepMind, Anthropic — все побегут доказывать теоремы. И это, пожалуй, главный итог.