Речь снова пойдет про список Эрдеша. И тут сразу оговорка для тех, кто помнит октябрьскую историю (GPT-5 просто откопала ответ на задачку в старых статьях, а в OpenAI заявили, что она «нашла решение»): на этот раз все честно, автономность решения в обоих случаях подтвердил сам Теренс Тао.
Итак:
1. Первая задачка – под номером 728. Ее отдал GPT-5.2 сам Теренс. Прикол с этой задачкой в том, что исходная формулировка Эрдеша была неверной, и корректная постановка была получена только несколько месяцев назад, так что предшествующей литературы по ней вообще не было.
Задача была решена более или менее автономно (после получения обратной связи по результатам первоначальной попытки), и результат (насколько нам известно) не был воспроизведен в литературе (хотя были найдены результаты, доказанные аналогичными методами).
Обратите внимание на последнее предложение: это не умаляет результат, НО модель все еще воспроизводит известные доказательства, а не придумывает что-то нечеловеческое.
2. Вторая – № 397. Ее засабмитил Нил Сомани, а проверил Теренс.
Доказательство было сгенерировано GPT 5.2 Pro и оформлено с помощью Harmonic.
Много открытых проблем просто сидят и ждут, когда кто-нибудь предложит ChatGPT решить их.