Теренс Тао подтвердил, что GPT 5.2 Pro "более или менее автономно" решил задачу Эрдеша #728