OpenAI заявляет, что её ИИ опроверг гипотезу в задаче Эрдёша, над которой думали почти 80 лет

Этот вопрос стал центральной проблемой в областях комбинаторной и дискретной геометрии. На протяжении десятилетий математики:

• строили различные конфигурации точек
• пытались максимизировать число пар на расстоянии 1
• искали верхние оценки, ограничивающие возможный максимум

Долгое время считалось, что наиболее эффективные конфигурации должны напоминать квадратную решётку — структуру, похожую на регулярную сетку точек.

Что утверждает OpenAI

По заявлениям компании, её универсальная модель рассуждений смогла построить доказательство, которое опровергает ключевую гипотезу, лежащую в основе этих представлений.

Сообщается о нескольких ключевых моментах:

• модель вывела новый математический аргумент, а не воспроизвела известные результаты
• доказательство использует идеи из алгебраической теории чисел
• найденные конструкции точек дают больше пар на расстоянии 1, чем классические «решётчатые» схемы

Если это подтвердится, то представления о том, как должны выглядеть оптимальные конфигурации точек в этой задаче, могут существенно измениться.

Чем это отличается от истории с GPT‑5

Ранее уже звучали заявления о том, что ИИ решил несколько задач Эрдёша. Однако позже выяснилось, что модель лишь заново обнаружила решения, уже опубликованные в математической литературе.

Новый случай отличается двумя ключевыми моментами:

• доказательство описывается как оригинальное, а не найденное в существующих работах
• несколько внешних математиков, по сообщениям, изучили аргументацию и поддержали её корректность

Тем не менее в математике окончательное признание приходит только после детальной проверки и публикации в рецензируемом журнале.

Что говорят математики

По сообщениям СМИ, доказательство изучили известные специалисты по комбинаторике и теории чисел, включая Ногу Алона, Мелани Вуд и Томаса Блума.

Некоторые комментаторы отмечают, что результат выглядит значительно сильнее предыдущих попыток ИИ создавать новые математические доказательства.

Однако для задач такого масштаба стандартная практика — длительная проверка:

• анализ доказательства другими исследователями
• обсуждение возможных ошибок
• публикация в научном журнале

Только после этого математическое сообщество официально принимает результат.

Почему это может быть важным

Исследователи считают, что значение открытия выходит далеко за пределы одной геометрической задачи.

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

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

• теоретической физике
• биологии и медицине
• инженерии
• материаловедении

Некоторые исследователи считают, что ИИ постепенно может перейти от роли инструмента для анализа данных к системе, которая иногда сама формулирует новые теоретические идеи.

Итог

OpenAI утверждает, что её модель рассуждений создала новое доказательство, опровергающее гипотезу, связанную с задачей Эрдёша о единичных расстояниях на плоскости — проблемой, изучаемой с 1946 года.

Это отличает нынешнее заявление от предыдущих случаев, когда ИИ лишь переоткрывал известные решения.

Однако в математике окончательный вердикт выносится только после строгой проверки. Если доказательство выдержит эту проверку, это может стать одним из первых крупных примеров оригинального научного результата, полученного с помощью искусственного интеллекта.