Terence Tao confirma que o GPT 5.2 Pro "mais ou menos autonomamente" resolveu o problema de Erdos #728