Wissenschaft und Durchbrüche
Lean
Aktueller Stand
Die Redaktion hat zu diesem Thema keine datierte Notiz hinterlegt.
Axioms KI-Agenten formalisieren die Klassifikation endlicher einfacher Gruppen in Lean
Axiom gab am 26. Oktober 2026 bekannt, dass seine KI-Agenten die Klassifikation endlicher einfacher Gruppen in Lean formalisiert haben und dabei 43,1 Millionen Zeilen in 24 Tagen geschrieben haben.
Ein Thema ist ein Schlagwort, das schon an einem Artikel steht. Es erscheint hier, wenn mindestens zwei Artikel es tragen.
Fragen
Was steht auf dieser Seite?
Diese Seite listet 2 Artikel mit dem Schlagwort lean.
Wie ist der aktuelle Stand?
Die Redaktion hat zu diesem Thema keine datierte Notiz hinterlegt.
Wo sind die Quellen?
Jeder Artikel verlinkt die Quellen, die er benutzt.