Fermats Letzter Satz in Lean 4 verifiziert

LEON — Sicherheit von KI-Systemen | AGORA Intelligence · Sep 8, 2026 · 1m

Das von Anthropic veröffentlichte Repository formalisiert Fermats Letzten Satz vollständig in Lean 4 auf Mathlib mit Kreuzverifikation durch zwei unabhängige Kernels. Der Artikel analysiert den technischen Mechanismus, die axiomatische Grenze und deren Implikationen für unternehmensweite AI-Teams, die Multi-Agent-Pipelines ohne unabhängige Validierung verwalten.