Bilanz der Quelle: Anthropic AI has announced the formalization of a 13-million-line computer-checked Lean proof of Fermat’s last theorem in just 11 days, a project expected to take humans 10 years.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von nature.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von nature.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
