Claude Fable 5.2 mengorganisasi 1.000 Agen AI untuk menyelesaikan formalisasi Teorema Terakhir Fermat dalam 28,7 jam
Pada 9 November 2026, Anthropic mengumumkan sebuah eksperimen multiagen di blog rekayasa resminya: 1000 agen Claude Fable 5.2 bekerja sama dan menyelesaikan formalisasi komputer untuk Teorema Terakhir Fermat dalam 28,7 jam. Pada akhirnya, buktinya lolos pemeriksaan kernel resmi Lean. Eksperimen formalisasi pertama, yang dilakukan dua bulan sebelumnya oleh puluhan agen, memakan waktu 11 hari. Ini…