Terence Tao Peringatkan Krisis Nilai dalam Matematika, Bukti yang Dihasilkan AI Akan Berlebihan

Matematikawan keturunan Tionghoa Terence Tao menyatakan di Kongres Matematikawan Internasional (ICM) bahwa matematika sedang memasuki krisis mendasar terkait nilai dan cara penelitian. Ia menunjukkan bahwa AI akan segera mampu menyelesaikan banyak tugas matematika tingkat penelitian dengan biaya yang wajar. Dalam pengujian terbaru, empat sistem AI menghadapi 10 masalah penelitian baru, dan setidaknya satu sistem berhasil menyelesaikan 7 di antaranya dengan kualitas yang dapat diterbitkan, dengan biaya komputasi per masalah antara 10 hingga 1000 dolar. Tao berpendapat bahwa matematika akan beralih dari "kelangkaan bukti" menjadi "kelebihan bukti", di mana bukti yang dihasilkan oleh AI akan menumpuk menunggu verifikasi, dan hasil yang telah diverifikasi masih memerlukan penjelasan, tinjauan, dan pengorganisasian yang jelas oleh manusia. Kemampuan yang benar-benar langka akan menjadi kemampuan untuk menilai pentingnya hasil tersebut dan mengubah bukti menjadi pengetahuan yang dipahami bersama oleh manusia. Ia menekankan bahwa jika penulis tidak dapat menjelaskan hasilnya dengan jelas dan akurat, bahkan jika bukti dihasilkan oleh AI dan telah diverifikasi, itu tidak seharusnya diterbitkan.

Konten ini disediakan hanya untuk tujuan informasi umum dan bukan merupakan nasihat keuangan, investasi, hukum, atau pajak. Setiap acara, reward, promosi online, atau informasi terkait yang disebutkan di sini tidak boleh dianggap sebagai rekomendasi, ajakan, atau undangan untuk membeli, menjual, memperdagangkan, atau melakukan transaksi aset kripto apa pun. Aset kripto sangat fluktuatif dan dapat mengakibatkan kerugian. Ketersediaan layanan, produk, dan acara terkait WEEX dapat berbeda-beda di setiap wilayah. Anda bertanggung jawab untuk memastikan bahwa partisipasi Anda sesuai dengan hukum dan peraturan setempat yang berlaku.