Bilanz der Quelle: Anthropic’s Claude completed a fully machine-verifiable proof of Fermat’s Last Theorem in 11 days, using 13 million lines of Lean 4 code and the Prove2Me DAG platform.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von gigazine.net. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von gigazine.net. Es erfolgte keine manuelle redaktionelle Bearbeitung.
