Terence Tao mengonfirmasi bahwa GPT 5.2 Pro "kurang lebih secara mandiri" memecahkan masalah Erdos #728