Lean-Beweisprüfer: Fermats Großer Satz in elf Tagen durch KI verifiziert
Eine Million Pfund, fünf Jahre Zeit: So wollte der Mathematiker Kevin Buzzard den Satz von Fermat formalisieren.
Dann erledigte ein KI-Modell diese Aufgabe in nur elf Tagen.
5News hat diese Zusammenfassung aus dem öffentlichen Feed der Quelle übernommen. Der vollständige Artikel mit allen Details steht auf www.spektrum.de — der Inhalt gehört Spektrum.de.
