Terence Tao: AI Sedang Menyebabkan Banjir Bukti Matematik, Era Matematik 1.0 Akan Berakhir

Techub News berita, pemenang Hadiah Fields Terence Tao menyatakan bahawa AI sedang menjadikan pembuktian matematik menjadi terlalu banyak, dan era matematik 1.0 yang dibina atas dasar kekurangan pembuktian akan berakhir. Beliau menegaskan bahawa dengan kuasa pengiraan yang mencukupi dan model terkini, orang ramai boleh mendapatkan jawapan kepada banyak masalah dalam masa yang singkat, tetapi penilaian terhadap ketepatan jawapan, sumbangan, dan hubungan dengan penyelidikan sedia ada masih perlu ditangani dengan serius. Terence Tao berpendapat bahawa kebanyakan masalah terkini dalam matematik masih belum diselesaikan, dan kemampuan AI tidak seragam. Beliau menyeru untuk mewujudkan mekanisme penilaian yang lebih telus dan saintifik, dengan memasukkan keputusan kegagalan dan kos kuasa pengiraan AI dalam laporan, serta memberi amaran bahawa jika terus mengoptimumkan secara membuta tuli penunjuk 'penyelesaian masalah', ia akan merosakkan kesihatan jangka panjang matematik. Mengenai nilai teras ahli matematik dalam era AI, Terence Tao menekankan bahawa model boleh menjana jawapan dan mengesahkan penaakulan, tetapi tidak boleh menggantikan manusia dalam membuat keputusan. Beliau mencadangkan untuk mengurangkan penekanan terhadap menjana pembuktian terlebih dahulu, dan meningkatkan penekanan terhadap penjelasan, penilaian, dan penyusunan pengetahuan, serta mendedahkan bahawa projek model matematik terbuka yang beliau sertai akan dilancarkan tidak lama lagi. (Quantum Bit)