Terence Tao baru saja mengkonfirmasi AI melewati ambang batas dalam matematika, dan ketika salah satu matematikawan terbesar yang masih hidup mengatakan itu nyata, perdebatan berakhir. Tao: "Ada peningkatan kemampuan yang sangat terlihat. Ini bukan hype murni dengan cara apa pun." Konfirmasi langsung dari seseorang yang akan langsung mengenali jika ini oversold. AI dalam matematika menyeberang dari janji ke kemampuan operasional. Tao: "Bagi saya, kemajuan ini menunjukkan ada cara yang saling melengkapi untuk melakukan matematika." Bukan penggantian. Mode paralel yang beroperasi dalam skala besar yang tidak dapat dicapai manusia secara fisik. Manusia mengatasi masalah sulit dalam kelompok kecil selama berbulan-bulan. Itu tetap ada. Tapi sesuatu yang lain sekarang ada di sampingnya. Tao: "Kita dapat mengatur AI ke skala: menyapu seribu masalah dan mengambil semua buah yang menggantung rendah. Cari tahu semua cara untuk mencocokkan masalah dengan metode." AI tidak berpikir lebih dalam. Itu mencari lebih luas. Secara sistematis menerapkan setiap teknik untuk setiap masalah. Eksplorasi menyeluruh tidak mungkin bagi manusia. Tao: "Jika ada 20 teknik berbeda, terapkan semuanya pada 1.000 masalah dan lihat mana yang dapat diselesaikan. Ini adalah kemampuan yang hadir saat ini." Dua puluh teknik. Seribu masalah. Setiap kombinasi diuji. Itu adalah 20.000 upaya manusia yang membutuhkan karier untuk dijelajahi. AI melakukannya secara sistematis. Bukan kemampuan masa depan. Hari ini. Divisi baru terwujud. Manusia: fokus berkelanjutan pada masalah yang melawan metode yang diketahui. AI: pencocokan masalah secara menyeluruh dengan teknik dalam skala industri. AI mengidentifikasi segala sesuatu yang dapat dipecahkan melalui aplikasi sistematis. Manusia berkonsentrasi secara eksklusif pada apa yang membutuhkan wawasan yang sebenarnya. Tidak menggantikan kreativitas matematika. Mengotomatiskan pencarian menghabiskan berabad-abad upaya kolektif hanya menemukan masalah mana yang menghasilkan metode yang ada. Kemajuan dipercepat bukan dari AI yang membuktikan teorema yang sulit. Dari menghilangkan waktu manusia yang terbuang sia-sia untuk masalah, AI menyelesaikannya melalui aplikasi sistematis yang kasar. ...