Bilanz der Quelle: Anthropic AI hat in nur 11 Tagen eine 13-Millionen-Linie, computer-checkbare Beweisführung von Fermats letzten Satz produziert und sie als 4. September bekannt gegeben. Das Modell hat in 11 Tagen eine Aufgabe erledigt, die für Menschen 10 Jahre gedauert hätte, was ein wichtiger Schritt in der Anwendung von AI in der Mathematik ist.
🔗 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.
