Bilanz der Quelle: Anthropic hat am 4. September 2026 die Claude-Firma bestätigt, die die erste vollständige maschinenteilbare Beweisführung von Fermats letzter Theorie mit 13 Millionen Zeilen von Lean Code und 30.300 Theoremen bewiesen hat. Die Beweisführung wurde mit einem Multi-Agent-System, das den Prove2Me-Platform zur Verfügung steht, durchgeführt und wurde über die Lean-Kern-Tests und eine independente Rust-Kern ‘nanoda’ bestätigt.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)

ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von gigazine.net. Es erfolgte keine manuelle redaktionelle Bearbeitung.