Bilanz der Quelle: Anthropic hat mit Claude die vollständige formale Computerüberprüfung des Fermatschen letzten Satzes abgeschlossen. Dabei wurden 13 Millionen Zeilen Lean-Code in 11 Tagen erstellt, einschließlich einer Erweiterung 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.
