Fable 5.2 tabanlı 1.000 yapay zekâ ajanı, Fermat’nın Son Teoremi ispatını 30 saatte biçimselleştirdi

Anthropic’in Claude Fable 5.2 tabanlı 1.000 yapay zekâ ajanı, Fermat’nın Son Teoremi’nin ispatını 30 saatte biçimselleştirdi.

Anthropic, Fable 5.2 ve Mythos 5.2’yi 10 Kasım’da (Kore saatiyle) yayımladığı duyuruda tanıtırken deneyin sonuçlarını da paylaştı. Şirketin teknoloji bloguna göre ajanlara teoremi Lean’de biçimselleştirmeleri için 60 önerme, ispat yollarının ana hatları, tanımlar ve önceki biçimselleştirmelerde kanıtlanmış 47 yardımcı önerme verildi. Ajanların internet erişimi engellendi.

Anthropic, aynı koşullarda çalışan Claude Opus 5.5’in 18 saatte çalışmanın yüzde 26’sını tamamladığını, 30 saate kadar ise çok az ilerleme kaydettiğini belirtti.

Şirket aynı duyuruda Fable 5.2’nin 1.000’den fazla alt ajanı koordine ederek sekiz gün boyunca kod yazdığını, test ettiğini ve gözden geçirdiğini açıkladı. Ajanlar ayrıca bir dizüstü bilgisayarda açılabilen bir işletim sistemi prototipi oluşturdu. Anthropic’in paylaştığı deneyler, Fable 5.2’nin matematiksel ispatları biçimselleştirme ve yazılım geliştirme çalışmalarındaki kullanımına odaklanıyor.