Terence Tao confirma que GPT 5.2 Pro "más o menos de forma autónoma" resolvió el problema de Erdos #728