Новая версия ChatGPT решила сложную открытую задачу по математике
Исследователь и разработчик Neel Somani сообщил о случае, который привлёк внимание научного сообщества. Новая версия ChatGPT смогла самостоятельно решить сложную математическую задачу, относящуюся к числу открытых проблем. Somani загрузил условие в чат-модель и не вмешивался в процесс около 15 минут. По итогам работы система выдала полный ответ, корректность которого была подтверждена с помощью специального инструмента для проверки математических доказательств.
Somani пояснил, что целью эксперимента было выяснить, с какого уровня сложности большие языковые модели способны работать с нерешёнными математическими задачами. Результаты показали, что возможности последней версии модели оказались выше ожидаемых и продемонстрировали заметный прогресс по сравнению с предыдущими версиями.
По информации портала «boda», во время рассуждений ChatGPT использовал известные математические аксиомы и формулы, в том числе формулу Лежандра и постулат Бертрана. Также модель обратилась к идеям, опубликованным в 2013 году на платформе MathOverflow. Тогда математик Ноам Элкис предложил решение схожей задачи, однако итоговый вывод, полученный ИИ, отличался от него и оказался более подходящим для варианта, сформулированного Паулем Эрдёшем.
По словам Somani, после выхода GPT 5.2 модели стали значительно увереннее справляться с математическими рассуждениями. Количество задач, которые они могут решать самостоятельно, заметно выросло. Это усиливает интерес к вопросу о том, какую роль такие системы могут сыграть в научных исследованиях в будущем.
Он также отметил, что автономные решения математических задач появлялись и ранее, в частности в модели AlphaEvolve на базе Gemini. Однако именно GPT 5.2 в последние недели показал особенно устойчивые результаты при работе с задачами высокого уровня сложности.
Некоторые известные математики, включая Терренса Тао, по оценке Somani, относятся к таким достижениям сдержанно. Они считают, что ИИ особенно полезен для систематической работы с большим числом задач Эрдёша, многие из которых имеют понятную структуру, но долго оставались без решения. Эксперты подчёркивают, что ИИ дополняет работу человека, а не подменяет её.
