Die gute Nachricht des Tages
Aube
.
KI
Anthropic zufolge: Fermats letzter Satz in Lean formalisiert
Der Beweis umfasst 13 Millionen Zeilen Lean-Code und rund 29.500 Zwischentheoreme.
Auf Aube lesen →
Von KI verfasst