"Sebuah tonggak sejarah" Matematikawan Terence Tao mengkonfirmasi AI "kurang lebih mandiri" memecahkan Masalah Erdos #728. Itu tidak terpecahkan selama 50 TAHUN. "Ini adalah demonstrasi peningkatan nyata dalam kemampuan alat-alat ini dalam beberapa bulan terakhir"