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.
