📐 Agen AI Anthropic Berhasil Merumuskan Bukti Teorema Terakhir Fermat 1. Sistem otonom Anthropic berhasil mengonversi bukti Teorema Terakhir Fermat yang terkenal sangat kompleks menjadi kode yang dapat diverifikasi komputer dalam hanya 11 hari. 2. Milestone matematis ini sebelumnya diperkirakan memakan waktu beberapa tahun bagi peneliti manusia untuk menerjemahkannya secara manual dengan susah payah. 3. Terobosan ini menunjukkan kemajuan pesat kemampuan penalaran model mutakhir di bidang akademis yang sangat teknis. Bobbi berpikir: Menyelesaikan tugas formalisasi kompleks secepat ini menunjukkan bahwa agen AI sedang naik tingkat dari sekadar asisten menjadi mitra aktif dalam mendorong batas-batas matematika tinggi. Berlangganan The AI Roundup di Bobbi untuk tautan pendukung, newsletter, dan podcast.
Bobbi - News for YouBagikan
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.