Anthropic baru-baru ini mengumumkan bahawa Claude AI mereka berjaya menyelesaikan bukti formal Teorem Terakhir Fermat dalam 11 hari, menghasilkan sekitar 13 juta baris kod yang boleh disahkan mesin baris demi baris, dan telah disahkan sah oleh ahli matematik Kevin Buzzard. Kerja ini dijalankan secara selari oleh puluhan agen Claude, menggunakan alat kolaborasi Prove2Me yang dibangunkan oleh kumpulan Peng Tian, untuk mengkoordinasikan tugas melalui senarai tindakan masa nyata; sekitar 7% baris dalam bukti tersebut berasal dari cubaan awal yang salah, dan proses formalisasi menggunakan bahasa Lean, membolehkan setiap langkah logik disemak oleh komputer.
xiyuKongsi
Sumber:Tunjukkan artikel asal
Penafian: Maklumat yang terdapat pada halaman ini mungkin telah diperoleh daripada pihak ketiga dan tidak semestinya menggambarkan pandangan atau pendapat KuCoin. Kandungan ini adalah disediakan bagi tujuan maklumat umum sahaja, tanpa sebarang perwakilan atau waranti dalam apa jua bentuk, dan juga tidak boleh ditafsirkan sebagai nasihat kewangan atau pelaburan. KuCoin tidak akan bertanggungjawab untuk sebarang kesilapan atau pengabaian, atau untuk sebarang akibat yang terhasil daripada penggunaan maklumat ini.
Pelaburan dalam aset digital boleh membawa risiko. Sila menilai risiko produk dan toleransi risiko anda dengan teliti berdasarkan keadaan kewangan anda sendiri. Untuk maklumat lanjut, sila rujuk kepada Terma Penggunaan dan Pendedahan Risiko kami.