Bilanz der Quelle: Anthropic hat mit Claude eine vollständig überprüfte Formalisierung des Fermatschen letzten Satzes erstellt. Claude generierte dabei in 11 Tagen unbeaufsichtigt 13 Millionen Zeilen Lean-Kode. Dies geschah einen Monat nach einem Erfolg bei der Riemann-Zeta-Funktion.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)

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