
Claude, Fermat teoremini 11 günde resmileştirdi; yeni ispat bulmadı
Anthropic, 4 Eylül 2026’da Claude’un Fermat’ın Son Teoremi’nin bilinen ispat yolunu 11 günde Lean’e aktardığını duyurdu. Sonuç yeni bir keşif değil, makinece denetlenen formalizasyon.













