Терренс Тао підтверджує, що GPT 5.2 Pro «більш-менш автономно» вирішив проблему Ердоша #728