Media luar menyatakan, Profesor UCLA dan penerima anugerah Fields, Terence Tao, baru-baru ini memperingatkan secara terbuka bahawa AI sedang menghabiskan masalah terbuka yang benar-benar mampu mendorong kemajuan disiplin itu lebih cepat daripada bidang matematik mampu mengisi soalan baru. Menurutnya, risikonya bukanlah model akan menulis lebih banyak bukti, tetapi ia mungkin memampatkan ruang yang telah lama dieksplorasi oleh penyelidik terlalu cepat.
Masalah bernilai tinggi semakin berkurang
Terence Tao menunjukkan bahawa soalan matematik boleh dihasilkan tanpa had, tetapi yang benar-benar penting tidak ramai. Walaupun banyak masalah yang belum terpecahkan wujud, ia tidak semestinya membawa kaedah baharu atau sukar mendorong bidang berkaitan terus maju. Para penyelidik dahulu bergantung kepada pengalaman untuk menilai soalan mana yang patut dimasuki selama berbulan-bulan atau bahkan bertahun-tahun.
Beliau percaya bahawa AI sedang mengganggu ritme ini. Sebelum ini, alat baru akan mengurangkan kesukaran sebahagian masalah, tetapi juga membuka arah baru di luar sempadan kemampuan. Kini, had model tidak jelas, dan penyelidik sukar menentukan masalah mana yang masih sesuai untuk pelaburan jangka panjang dan mana yang mungkin segera diselesaikan secara langsung oleh model.
Lab AI telah memulakan pertandingan penyelesaian pantas
Laporan tersebut menyebut bahawa pada Mei tahun ini, model OpenAI memberikan contoh penyangkal terhadap konjektur jarak Erdős, yang menyentuh masalah matematik yang telah wujud selama kira-kira 80 tahun. Ahli matematik luar termasuk penerima Anugerah Fields, Tim Gowers, kemudian membuat pengesahan.
Pada masa yang hampir bersamaan, penyelidik Anthropic juga menguji soalan yang sama menggunakan Claude Mythos yang belum dirilis. Jurutera syarikat menyatakan bahawa model tersebut memberikan bukti yang lebih ringkas; ada ahli matematik yang berpendapat versi tersebut sedikit kurang baik berbanding OpenAI, tetapi masih berjaya menemui penyelesaian yang mungkin.
Laporan itu juga menyatakan bahawa Anthropic kemudian memformalkan bukti sejarah Teorem Terakhir Fermat. Beberapa hari kemudian, OpenAI menyelesaikan satu masalah berusia sekitar 90 tahun, hanya beberapa jam selepas seorang penyelidik mengumumkan buktinya. Kelajuan ini adalah perkara yang dikhawatirkan oleh Terence Tao.
Cadangkan untuk meningkatkan bobot proses penalaran
Terence Tao mencadangkan agar sebahagian soalan ditandakan sebagai "memerlukan analisis". Di bawah standard ini, nilai jawapan yang diberikan secara berasingan akan dikurangkan, dan penyelidik perlu menerangkan proses penaakulan serta bagaimana proses tersebut memberikan wawasan kepada soalan yang berkaitan.
Beliau berpendapat bahawa hanya mengejar pengambilan jawapan secepat mungkin memang dapat menyelesaikan masalah semasa dalam jangka pendek, tetapi dengan harga melemahkan ekosistem soalan yang diperlukan untuk penyelidikan seterusnya, serta tidak membantu pemahaman mengapa pencapaian sedia ada berlaku. Menurut laporan, cadangan ini belum membentuk peraturan rasmi, dan kemajuan berterusan oleh makmal AI besar mungkin akan membawa dunia matematik lebih cepat menghadapi perdebatan mengenai standard penilaian.