Bilanz der Quelle: Claude-Agenten haben Fermats Letzten Satz in 11 Tagen vollständig in Lean formalisiert — 13 Millionen Zeilen Code, 29.500 Zwischentheoreme, ein Projekt, das die Fachwelt auf Jahre veranschlagt hatte. Die Faszination liegt in der Kombination: Agenten liefern nicht nur das Ergebnis, sondern einen maschinenprüfbaren Beweis — Vertrauen wird plötzlich billig. Der Bericht ordnet das in dieselbe Verschiebung wie Astras ARC-AGI-3-Ergebnis ein. Die Details der Formalisierung stehen im Original.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
Claude-Agenten formalisieren Fermat — Fermats Letzter Satz in 11 Tagen in Lean formalisiert: 13 Mio. Zeilen, 29.500 Zwischentheoreme — Menschen hatten dafür Jahre eingeplant. Century Report
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von sharedsapience.com. 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.
