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.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von techradar.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
