Модель искусственного интеллекта GPT-5.2 Pro компании OpenAI предложила решение для одной из открытых математических задач Пала Эрдёша. Математик Теренс Тао отметил, что система почти самостоятельно завершила процесс нахождения доказательства. Это событие можно рассматривать как один из наиболее конкретных примеров участия искусственного интеллекта в решении нерешённых научных проблем.
Модель GPT-5.2 Pro относится к серии передовых алгоритмов, которые компания OpenAI представила в 2025 году. Система разработана для выполнения сложных профессиональных заданий, которые требуют развитых способностей к логическим рассуждениям и генерации структурированных результатов. Официальная документация OpenAI указывает на существенный прогресс этих моделей в области научных и математических задач. Алгоритм может формулировать подробные структурированные аргументы, а также исследовать направления для выдвижения гипотез и построения доказательств. При этом компания подчеркивает необходимость обязательной проверки всех результатов системы экспертами-людьми.
Основатель компании Eclipse Нил Сомани сообщил 18 января на платформе X об использовании GPT-5.2 Pro для нахождения решения ещё одной известной задачи из списка проблем Эрдёша. После этого президент и соучредитель OpenAI Грег Брокман сделал репост этого сообщения. Брокман добавил свой комментарий, где назвал данное достижение важным признаком прогресса в математике и науке.
Математик Теренс Тао дал оценку этому событию. По его мнению, в данном случае искусственный интеллект продемонстрировал свою способность не просто искать информацию в существующей литературе, а именно создавать черновики доказательств и оперативно вносить многочисленные правки в математические тексты. Тао также призвал к осторожной интерпретации значимости подобных решений. Он пояснил, что академические проблемы сильно различаются по своей сложности. Лишь небольшое количество открытых вопросов подходит для решения с помощью текущих инструментов искусственного интеллекта при условии ограниченного участия человека.
Задачи Эрдёша представляют собой набор из нескольких сотен нерешённых проблем, которые сформулировал венгерский математик Пол Эрдёш. Эти вопросы охватывают различные области, включая комбинаторику и теорию чисел. Сложность проблем в этом наборе имеет очень широкий диапазон. Некоторые гипотезы обладают исключительной глубиной, в то время как другие относительно простые задачи могли долгое время не привлекать внимания исследователей. Факт того, что проблема оставалась нерешённой в течение многих лет, не всегда автоматически указывает на её непреодолимую сложность или полное отсутствие попыток её изучения. Как отметил Тао, во многих случаях вопрос мог просто не получить должного уровня изучения со стороны научного сообщества.
Данный случай не является первым примером успешного взаимодействия систем искусственного интеллекта и математиков. Ранее Теренс Тао уже тестировал другие модели. Например, он оценивал способности системы Gemini 3 от компании Google, которая справилась с одной из столетних математических задач за десять минут. Также команда Тао признала потенциал системы AlphaEvolve от Google, отметив, что она делает возможным проведение масштабных математических исследований. В другом эксперименте Тао использовал более раннюю модель GPT-5 для решения математической проблемы, сгенерировав для этого всего 29 строк кода на языке Python. Кроме того, математик руководил так называемым «Проектом теории равенств», в рамках которого совместная работа людей и искусственного интеллекта за 57 дней привела к завершению более 22 миллионов доказательств математических соотношений.
Новость о решении задачи Эрдёша с помощью GPT-5.2 Pro вновь актуализирует дискуссию о роли искусственного интеллекта в фундаментальной науке. С одной стороны, системы демонстрируют растущую способность работать с абстрактными концепциями и выполнять сложные логические операции. С другой стороны, как показывает комментарий Тао, их возможности пока носят избирательный характер и требуют тщательного контроля со стороны специалистов. Прогресс в этой области развивается по пути гибридного взаимодействия, где искусственный интеллект выступает в роли мощного инструмента для генерации и перебора идей, а человеческий экспертный анализ остаётся финальным арбитром для оценки корректности и значимости полученных результатов.
