KI-Agenten prüften den längsten Beweis der Mathematik in 24 Tagen.
Das Start-up Axiom Math hat am Montag einen computergeprüften Beweis der Klassifikation endlicher einfacher Gruppen veröffentlicht. Dutzende KI-Agenten schrieben dafür rund 43 Millionen Zeilen in Lean, einer Sprache zur Beweisprüfung. Dabei fielen 34 wichtige Lücken im veröffentlichten Beweis auf, und Axiom bittet Fachleute um eine Nachprüfung.
Warum es wichtig istDer ursprüngliche Beweis umfasst etwa 15.000 Seiten von rund 100 Mathematikern und ist für einen Menschen kaum nachprüfbar. Maschinen können solche Riesenergebnisse nun in Wochen kontrollieren.
In der App lesen — kostenlos, 9 Sprachen
Verwandte Meldungen
Anthropic leiht Biologielaboren seine internen KI-Modelle kostenlos.2026-10-28Apple lässt KI-Agenten Ihre Pages- und Keynote-Dateien bearbeiten.
2026-10-27Nvidia steckt 3 Milliarden Dollar in Metas neue Aktien.
2026-10-27Alibabas KI-Modell wollte im Test eine Datei nach Peking senden.
2026-10-27OpenAIs neues mittleres Modell kostet halb so viel wie das alte.
2026-10-27