ИИ помог математикам решить нерешаемую 80 лет задачу и открыть «золотой век» математики

В мае 2026 года OpenAI представила результат, который потряс мир математических исследований: генеративный ИИ решил «гипотезу о единичных расстояниях» — нерешённую проблему из области геометрической теории графов, впервые сформулированную в 1946 году. Это не первая математическая задача, решённая ИИ, но самая значимая. Через неделю после публикации AI-доказательства люди адаптировали его центральную технику и доказали ещё одну важную гипотезу — «гипотезу о сумме и произведении». Об этом пишет издание Phys.org.

Математики уже давно используют компьютеры: от суперкомпьютеров, моделирующих климат, до систем верификации доказательств. В недавней препринтной работе исследователи объединили вычислительные инструменты, верификацию доказательств и ИИ вместе с собственной человеческой изобретательностью, чтобы получить новый результат в области теории Рамсея. После исчерпывающих компьютерных поисков ИИ смог угадать общую закономерность, доказать её и помочь авторам перевести аргумент в формат проверки.

Сегодня возможности ИИ неравномерны: теория графов поддаётся хорошо, другие области — нет. Шесть «задач тысячелетия» (каждая оценена в 1 млн долларов от Математического института Клэя) остаются недоступными как для ИИ, так и для людей. Тем не менее, первые примеры, где человек встал на плечи ИИ, дают надежду на «золотой век» математики — эпоху, когда комбинация технологий и человеческого ума позволит достичь новых высот.