ChatGPT 5.2 Pro решил математическую задачу Эрдеша. Это прорыв или еще нет?

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