Математик Нил Соманирассказал, что его доказательство к задаче Эрдеша №397 было принято Терренсом Тао. По словам автора, черновик решения целиком сгенерировала модель GPT 5.2 Pro, а затем доказательство было формализовано при помощи системы Harmonic.
Доказательство, которое я представил для задачи Эрдоша № 397, было принято профессором математики Теренсом Тао. Доказательство было сгенерировано с помощью GPT 5.2 Pro и формализовано с помощью Harmonic. Многие открытые задачи ждут, пока кто-нибудь предложит ChatGPT их решить, — написал ученый.
Правда, некоторые пользователи указали, что эта задача уже была решена, но другим способом. Это несколько снижает уровень уникальности достижения, но Теренс Тао признает, что ответ данный с помощью GPT 5.2 Pro GPT 5.2 Pro выглядит “проще”.