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.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von gigazine.net. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Kalina Digest unterstützen
Lesen bleibt frei. Wer mag, gibt etwas zurück — ab 1 € einmalig, oder als Stufe für einen Monat, ein Quartal oder ein Jahr. Bisher: 5.00 € aus 1 Beiträgen.
