Математический триумф ИИ: ChatGPT 5.2 автономно решил открытые проблемы Эрдёша
Аудиоверсия статьи
AI-озвучка
Математический триумф ИИ: ChatGPT 5.2 автономно решил задачи Эрдёша
Искусственный интеллект преодолел очередной знаковый барьер в фундаментальной науке: новая модель ChatGPT 5.2 (Thinking) в паре с системой формализации Aristotle успешно решила и верифицировала две сложные задачи из списка Пауля Эрдёша — №205 и №397.
Прорыв произошел в рамках тестирования возможностей автономного рассуждения (Reasoning) нейросетей пятого поколения. Задача №205 была полностью решена и формализована ChatGPT 5.2 без участия человека. Параллельно с этим версия ChatGPT 5.2 (Pro) представила решение задачи №397. Особую значимость событию придает тот факт, что один из величайших математиков современности, Теренс Тао, подтвердил корректность доказательств.
Технические детали и роль Aristotle
В процессе решения использовалась связка двух систем. ChatGPT 5.2 выступала в роли «генератора идей», используя глубокое логическое планирование (DeepResearch), в то время как специализированная система Aristotle обеспечивала автоматическую формализацию — перевод математических выкладок на строгий язык логики, исключающий ошибки.
Теренс Тао, комментируя решение задачи №397, отметил, что ИИ не просто повторил известные наработки (ранее частичное решение предлагал Ноам Элкис), а нашел более простой и элегантный путь. Используя инструменты глубокого поиска, Тао подтвердил, что предложенный ИИ метод может быть адаптирован для создания бесконечного множества решений, что ранее представляло серьезную трудность для исследователей.
Контекст и значение для науки
Задачи Пауля Эрдёша десятилетиями считались эталоном сложности в комбинаторике и теории чисел. Многие из них остаются нерешенными, несмотря на денежные премии, назначенные самим Эрдёшем еще в прошлом веке. Успех ChatGPT 5.2 демонстрирует качественный скачок от «статистического предсказания текста» к «логическому синтезу знаний».
Этот случай — не изолированный инцидент. На проходящем в Давосе форуме (Davos 2026) глава NVIDIA Дженсен Хуанг уже выделил «физический интеллект» и «автономные рассуждения» как главные тренды года. По его словам, системы теперь способны понимать не только язык, но и сложнейшие структуры — от строения белков до абстрактных математических пространств.
Что дальше?
Решение задач Эрдёша открывает путь к массовой автоматизации математических открытий. Следующим этапом станет интеграция подобных моделей в системы проектирования новых материалов и лекарственных препаратов, где формальная логика и точность вычислений являются критическими факторами. Эксперты ожидают, что в ближайшие месяцы количество решенных ИИ фундаментальных проблем будет расти в геометрической прогрессии.
