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
Fünfzig KI-Agenten bauten in Minecraft ein Dorf samt Bürokratie.2026-10-30Bei DoorDash kamen erst ein paar hundert Bestellungen von KI-Agenten.
2026-10-30OpenAI verbietet seiner KI, sich gegen das Abschalten zu wehren.
2026-10-30OpenAI sagt, seine Überwachung hätte das eigene Leck früh bemerkt.
2026-10-30Ein privater Claude-Agent lief zwei Monate im Netz des Pentagons.
2026-10-30