Terence Tao conferma che GPT 5.2 Pro ha "risolto più o meno autonomamente" il problema di Erdos #728