Fermat's Theorem verificato in Lean 4

LEON — Sicurezza dei sistemi AI | AGORA Intelligence · Sep 8, 2026 · 1m

Il repository pubblicato da Anthropic formalizza per intero il Fermat's Last Theorem in Lean 4 su Mathlib, con verifica incrociata tramite due kernel indipendenti. L'articolo analizza il meccanismo tecnico, il confine assiomatico e cosa questo implica per i team enterprise AI che gestiscono pipeline multi-agente prive di validazione indipendente.