ChatGPT мог помочь найти решение задачи Эрдеша, известной более 60 лет

Осталось как следует верифицировать предложенное решение.

Возможно, с помощью ChatGPT удалось найти решение одной из задач Эрдеша — серии известных математических проблем, сформулированных венгерским математиком Палом Эрдешем. Эксперты считают, что на этот раз речь может идти о реальном решении задачи, известной свыше 60 лет.

Решение опубликовал 23-летний математик Лиам Прайс. По словам Лиама, он получил ключевую идею после запроса к GPT-5.4, причем модель предложила использовать для решения задачи совершенно новый подход.

Как объясняет математик Теренс Тао, люди, работавшие над этой проблемой, принимали неверное решение в самом начале работы над доказательством, а нейросеть использовала известную формулу в новом контексте.

В то же время чат-бот не смог выдать полноценное решение — он лишь показал, в каком направлении стоит поработать. Математик Джаред Лихтман подчеркивает, что специалистам пришлось разбирать ответ чат-бота, уточнять идею и доводить идею до «доказательного» вида.

Прежде многие «решения» задач Эрдеша, найденные с помощью ИИ, не выдерживали проверки. Иногда модель воспроизводила существующие малоизвестные работы, иногда выдавала реалистичные, но неверные доказательства. Сейчас, кажется, чат-бот и в самом деле помог людям-математикам.

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