Ein Webentwickler löste mit KI eine 50 Jahre alte Vermutung.
Der bekannte Webentwickler Dan Abramov veröffentlichte am 18. September einen maschinengeprüften Beweis von Conways Verfeinerungsvermutung. Fünf Wochen lang steuerte er ChatGPT und Claude und verbrauchte dabei Rechenzeit für rund 40.000 Dollar. Ein Beweisprüfer akzeptiert das Ergebnis, doch geprüft hat es noch kein Mathematiker.
Warum es wichtig istMaschinen beglaubigen inzwischen Beweise, die kein Mensch gelesen hat, und das verschiebt die Frage, wer Mathematik betreiben darf. Es beziffert auch ein schweres Resultat mit fünf Wochen und dem Preis eines Gebrauchtwagens.
▶ Passendes Video: John Horton Conway | The surreal numbers
In der App lesen — kostenlos, 9 Sprachen
Verwandte Meldungen
China Telecoms offenes Modell passt auf eine Gaming-Grafikkarte.2026-09-20Claude Code liest jetzt die Regeldatei der Konkurrenz mit.
2026-09-19Zhipus Modell verdreifachte das Tempo des Systems, das es bedient.
2026-09-19Alibaba gab ein Modell frei, das 146 Krankheiten im CT erkennt.
2026-09-19Metas Agent Muse liest jetzt die Dateien auf deinem Mac.
2026-09-19