AI tidak hanya membantu dalam bukti matematis terkenal. AI membantu membuat bukti tersebut dapat diperiksa oleh mesin. Anthropic mengatakan @claudeai bekerja sebagian besar secara otonom selama 11 hari untuk menghasilkan formalisasi pertama yang lengkap dan diperiksa komputer terhadap Teorema Terakhir Fermat dalam Lean. 13 juta baris bukti formal. 29.500 teorema perantara yang digunakan dalam hasil akhir. Perbedaan ini penting. Andrew Wiles sudah membuktikan Teorema Terakhir Fermat puluhan tahun lalu. Terobosan di sini adalah mengubah kumpulan matematika manusia yang sangat kompleks menjadi sesuatu yang dapat diverifikasi komputer secara utuh. Dan saya pikir ini menunjukkan salah satu peran paling penting yang mungkin dimainkan AI dalam ilmu pengetahuan. Bukan menggantikan ilmuwan. Mengurangi hambatan verifikasi. Saat AI menghasilkan lebih banyak matematika, kode, dan penalaran ilmiah, menghasilkan jawaban akan menjadi lebih murah. Membuktikan bahwa jawaban-jawaban tersebut benar-benar tepat mungkin akan menjadi lebih berharga. Perbatasan berikutnya dari AI mungkin tidak hanya kecerdasan. Tapi kecerdasan yang dapat diverifikasi.
Effie Kavoura 🔶Bagikan
Sumber:Tampilkan versi asli
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini.
Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.