Модель GPT-5.2 Pro от OpenAI помогла найти решение ещё одной задачи Пола Эрдёша. Неел Сомани задействовал эту ИИ-систему, чтобы доказать проблему №281 из теории чисел. Теренс Тао, известный математик, охарактеризовал этот случай как возможно, самый ясный пример
, когда искусственный интеллект справился с открытой математической задачей. Хотя предыдущие доказательства могли повлиять на вывод модели, Тао отмечает, что решение GPT-5.2 Pro отличается довольно сильно.
Тао предостерегает от преувеличенного мнения о силах ИИ. Неудачные попытки обычно не афишируют, а удачные быстро набирают популярность. Свежая база данных, собранная Паатой Иванисвили и Мехметом Марсом Севеном, фиксирует опыты ИИ с задачами Эрдёша и демонстрирует успех лишь в 1–2% случаев, причём в основном это более простые примеры.
ИИ всё равно остаётся ценным помощником, пусть даже задачи средней сложности от Эрдёша пока недостижимы, считает Тао. Первое решение проблемы Эрдёша, полностью автономное и проверенное Тао, появилось 4 января 2026 года.