Formalisasi Teorema Terakhir Fermat

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…