Mitte Mai 2026 gab OpenAI bekannt, dass ein internes KI-Modell die Erdős-Einheitsdistanz-Vermutung widerlegt hat – ein Problem aus der diskreten Geometrie, das der ungarische Mathematiker Paul Erdős 1946 formulierte. Die Frage lautet, wie viele Punktpaare in einem 2D-Raum mit n Punkten genau den Abstand 1 zueinander haben können. Fields-Medaillist Tim Gowers bezeichnete das Ergebnis als „Meilenstein in der KI-Mathematik". University-of-Toronto-Professor Daniel Litt nannte es das erste autonom von einer KI erzielte Ergebnis, das ihn inhaltlich – und nicht nur als Indikator – begeistere. Das Modell kombinierte bestehende Ideen aus mehreren mathematischen Teilgebieten zu einem vollständigen Beweis, ohne genuinen neue Techniken zu entwickeln. Menschliche Mathematiker haben das Ergebnis anschließend bereinigt und ausgeweitet. Autor Kai Williams sieht den Durchbruch als konsequenten nächsten Schritt in der rasanten Entwicklung von KI in der Mathematik: Vor drei Jahren scheiterten LLMs noch an Arithmetik, letztes Jahr bestanden sie erstmals Schulmathematik-Wettbewerbe. Die Frage, welche Rolle menschliche Mathematiker in einem Jahrzehnt noch spielen werden, bleibt offen.