Исследователи из OpenAI заявили, что их модель искусственного интеллекта нашла контрпример к гипотезе венгерского математика Пола Эрдёша (Paul Erdős), сформулированной более 80 лет назад. Работа стала первым случаем, когда ИИ опроверг известную математическую задачу такого уровня.
В начале июня 2026 года команда OpenAI представила результаты эксперимента, в ходе которого их модель искусственного интеллекта выявила контрпример к одной из гипотез Эрдёша, связанной с теорией графов. Гипотеза, сформулированная в 1940-х годах, касалась свойств определённого класса графов и долгое время оставалась недоказанной и неопровергнутой.
По словам исследователей, модель использовала комбинацию символьных вычислений и машинного обучения для поиска контрпримера. Процесс занял несколько недель и потребовал значительных вычислительных ресурсов. Открытие было подтверждено независимыми математиками, которые проверили корректность найденного решения.
«Это не просто технический прорыв, но и демонстрация того, как ИИ может дополнять человеческое мышление в фундаментальных науках», — отметил Себастьен Бубек (Sébastien Bubeck), ведущий исследователь OpenAI, в своём посте на платформе X. Он подчеркнул, что модель не только нашла контрпример, но и сгенерировала его доказательство, которое затем было верифицировано экспертами.
Ранее ИИ уже применялся для решения математических задач, но в основном в роли помощника — например, для проверки доказательств или генерации гипотез. Случай с гипотезой Эрдёша стал первым, когда модель самостоятельно опровергла утверждение, считавшееся открытым вопросом десятилетиями. Это может открыть новые возможности для применения ИИ в теоретической математике и смежных областях.
Результаты работы опубликованы в блоге OpenAI, где подробно описаны методология и технические детали эксперимента.
Источники: X-пост Себастьена Бубека (Sébastien Bubeck), 4 июня 2026; блог OpenAI.