Anthropic baru saja mengumumkan bahwa Claude AI-nya berhasil secara mandiri membuktikan Teorema Terakhir Fermat dalam 11 hari, menghasilkan sekitar 13 juta baris kode yang dapat diverifikasi mesin baris demi baris, dan telah diverifikasi kebenarannya oleh matematikawan Kevin Buzzard. Pekerjaan ini didorong secara paralel oleh puluhan agen Claude, menggunakan alat kolaborasi Prove2Me yang dikembangkan oleh tim Peng Tian, untuk mengoordinasikan tugas melalui daftar tindakan real-time; sekitar 7% baris dalam bukti berasal dari upaya awal yang salah, dan proses formalisasi menggunakan bahasa Lean, sehingga setiap langkah logis dapat diperiksa oleh komputer.
xiyuBagikan
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.