исследования 1 мин

Как ИИ начал решать легендарные задачи Эрдёша — и почему это важно для математики и AI

В мае 2026 OpenAI анонсировала, что её внутренняя модель решила знаменитую задачу unit distance венгерского математика Пола Эрдёша (1946). Затем в августе модель Astra решила ещё 10 математических задач, включая три задачи Эрдёша. Всё началось с сайта erdosproblems.com, который британский математик Томас Блум создал в 2023 году, чтобы систематизировать тысячи задач Эрдёша — и превратил в площадку, где ИИ и люди вместе ломают проблемы.

Это первый случай, когда ИИ решает задачи, которые десятилетиями не поддавались людям, причём не грубой силой, а творчески. Если тренд продолжится, AI-модели станут партнёрами учёных в R&D, оптимизации и формальной верификации — и откроют новые рынки.

Что произошло

В мае 2026 OpenAI объявила: её закрытая модель нашла контрпример к задаче о единичном расстоянии (unit distance problem), которую в 1946 году сформулировал венгерский математик Пол Эрдёш. Это первое исторически значимое доказательство от ИИ-модели. В августе модель Astra решила ещё 10 задач, три из которых тоже от Эрдёша.

Эрдёш — культовая фигура в математике: десятилетиями путешествовал с чемоданом, жил у коллег, предлагал тысячи задач и назначал денежные призы. Умер в 1996-м, но его задачи до сих пор в фокусе. Причина прорыва — сайт erdosproblems.com, созданный британским математиком Томасом Блумом в 2023-м. Он собрал сотни задач Эрдёша, добавил комментарии (код писал через ChatGPT), и сайт стал площадкой, где математики обсуждают проблемы. В 2024-2025 решили 111 задачу. А в 2026 модели OpenAI начали решать их самостоятельно — применяя идеи из далёких областей математики, которые люди не догадались использовать.

Математики называют это фазовым переходом в возможностях ИИ. Нога Алон из Принстона: «Модели кардинально меняют способ проведения математических исследований». Результаты ИИ не идеальны, люди улучшают их за недели, но подходы инновационные и влияют на смежные проблемы.

AI математикаOpenAIзадачи ЭрдёшаAI for Scienceформальные доказательства

Автор: Сергей Ефимов · Источник: hnrss.org

Разработчикам. Появляется класс моделей, способных на оригинальное математическое мышление — не просто перебор, а применение идей из далёких областей. Это открывает путь к AI-ассистентам для формальной верификации, оптимизации алгоритмов и генерации доказательств в production-системах (крипто, компиляторы, верификация кода).

Бизнесу. Крупные AI-лабы (OpenAI, Google DeepMind) используют математические прорывы как PR-инструмент и proof-of-concept для продажи корпоративных моделей. Растёт рынок AI-решений для R&D в фарме, материаловедении, финтехе — везде, где нужны формальные доказательства и оптимизация.

Инвесторам. Математические способности — индикатор зрелости моделей. Если ИИ решает задачи Эрдёша, значит, близко к прорывам в drug discovery, квантовых вычислениях, криптографии. Растут инвестиции в AI for Science (Anthropic, Sakana, стартапы вроде Symbolica AI). Риск: хайп опережает реальные применения, но тренд устойчивый.

Хайп65
Реальная польза70
Заработать60
  • AI-платформа для математиков и исследователей: аналог GitHub Copilot, но для формальных доказательств и комбинаторики. Erdős Problems как база для тренировки моделей.
  • Консалтинг для R&D-отделов фармы, материалов, чипов: внедрение AI-моделей для решения оптимизационных и комбинаторных задач, которые раньше решали вручную месяцами.
  • Образовательные продукты: интерактивные курсы, где ИИ помогает студентам решать классические задачи (не только Эрдёша), объясняет ходы мысли — EdTech с акцентом на STEM.
  • Фронтир-модели для enterprise: лицензирование закрытых математических моделей (как Astra от OpenAI) для корпораций, работающих с критичными вычислениями (финансы, энергетика, космос).
  • Crowd-платформа для краудсорсинга математических задач: расширение идеи erdosproblems.com с призовыми фондами, спонсорами и ИИ-помощниками для участников.
  • Хайп: результаты впечатляют, но модели пока не публичные, воспроизвести сложно. Может оказаться, что прорыв узкий и не масштабируется на другие области.
  • PR > substance: компании используют задачи Эрдёша как маркетинг, но реальное влияние на практику (production-системы, бизнес-кейсы) пока не доказано.
  • Доступность: если модели остаются закрытыми (как Astra), реальную пользу получат только крупные лабы и их клиенты, а не широкое научное сообщество.
  • Переоценка математических способностей ИИ: решение задач Эрдёша — не то же самое, что создание новой математики или работа со сложными многослойными доказательствами. Может оказаться, что модели хороши только в узких классах задач.

Это крутая история: парень собирает задачи для себя, пишет сайт через ChatGPT, добавляет комментарии — и случайно создаёт площадку, где ИИ начинает решать проблемы, которые не поддавались людям десятилетиями. OpenAI, конечно, сделала из этого пиар-шоу, но факт остаётся: модели действительно начали мыслить нестандартно, применяя идеи из далёких областей математики. Пока это закрытые модели, результаты дорабатывают люди, и непонятно, как быстро это превратится в массовый инструмент. Но тренд чёткий: AI for Science — это не хайп, это реальное направление, куда идут деньги и таланты.

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

Инструменты из статьи

Универсальный AI-ассистент OpenAI: тексты, код, анализ, изображения, голос.

Доступ из РФ →

Ещё по теме

Комментарии