OpenAI meldet einen historischen Durchbruch: Eine künstliche Intelligenz hat eigenständig eine seit 1946 ungelöste mathematische Vermutung widerlegt – ohne menschliche Hilfe bei der Beweisstrategie.
Während die künstliche Intelligenz bereits komplexe mathematische Rätsel löst, fällt vielen Einsteigern der erste Schritt in die KI-Welt noch schwer. Dieser kostenlose Ratgeber zeigt Ihnen, wie Sie die Technologie ganz ohne Vorkenntnisse gewinnbringend in Ihren Alltag integrieren. Kostenlosen PDF-Report mit ChatGPT-Tricks sichern
Der erste autonome Beweis einer KI
Die Erdős-Einheitsdistanz-Vermutung aus der kombinatorischen Zahlentheorie galt fast acht Jahrzehnte als unknackbar. Ende Mai 2026 gab OpenAI bekannt, dass ein internes KI-Modell das Problem eigenständig gelöst hat. Es ist das erste Mal überhaupt, dass eine KI ein offenes mathematisches Großproblem ohne menschliche Vorgaben zur Beweisstrategie bewältigte.
Der Beweis umfasst 125 Seiten und nutzt algebraische Zahlentheorie mit Zahlkörpern wachsenden Grades. Das Modell konstruierte komplexe Gitter in hochdimensionalen Räumen und projizierte sie mithilfe algebraischer Zahlen in zwei Dimensionen. Zur Anwendung kam unter anderem das Golod-Schafarewitsch-Kriterium.
Fachwelt zeigt sich beeindruckt
Obwohl der Beweis auf etablierten mathematischen Ideen aufbaut, statt völlig neue Methoden zu entwickeln, zeigten sich Experten tief beeindruckt. Fields-Medaillengewinner Timothy Gowers bezeichnete den Durchbruch als Meilenstein für KI in der Mathematik. Der Mathematiker Daniel Litt sprach von einem bedeutenden Fortschritt für das gesamte Fachgebiet.
Nach der autonomen Entdeckung Mitte Mai 2026 durchlief der Beweis eine menschliche Prüfung und Verfeinerung. Will Sawin von der Princeton University optimierte die Ergebnisse: Demnach wachsen Einheitsdistanzen mindestens so schnell wie n^1,014, während die Obergrenze bei etwa n^1,333 bleibt. Sawin betonte, dass der KI-Beweis zwar informell war, seine Struktur aber der menschlichen Denkweise ähnelte.
Die rasante Entwicklung autonomer Systeme wie bei OpenAI verändert nicht nur die Forschung, sondern wirft auch grundlegende Fragen zur Regulierung auf. Der kostenlose Umsetzungsleitfaden zum EU AI Act hilft Unternehmen dabei, die neuen gesetzlichen Anforderungen und Risikoklassen von KI-Systemen besser zu verstehen. Jetzt kostenlosen E-Book-Download zur KI-Verordnung anfordern
Überraschung und neue Perspektiven
Forscher wie Noga Alon zeigten sich über das Ergebnis verblüfft. Thomas Bloom spekulierte, dass dieser Erfolg weitere KI-Durchbrüche in der theoretischen Forschung ankündigen könnte – etwa in der Kryptographie oder Optimierung.
Der Meilenstein reiht sich in eine Serie rasanter Fortschritte ein. Bereits im Frühjahr 2026 nutzten Amateure eine professionelle Version von GPT-5.5, um andere Probleme aus dem Werk von Paul Erdős zu lösen. Kurz nach OpenAIs Ankündigung sollen Google-Forscher neun weitere Erdős-Probleme geknackt haben.
Wettlauf um KI-Mathematik
Das Feld der KI-gestützten formalen Beweisführung wird zunehmend umkämpft. Das Startup Axiom Math unter CEO Carina Hong sammelte kürzlich 200 Millionen Euro bei einer Bewertung von 1,6 Milliarden Euro ein. Das Unternehmen entwickelt mit der Programmiersprache Lean eine formale Bibliothek wirtschaftlicher Theoreme namens EconLib. Ende 2025 erzielte AxiomProver eine perfekte Punktzahl beim Putnam-Wettbewerb und identifizierte kürzlich eine unbewiesene Annahme in einem bekannten wirtschaftlichen Theorem von 1976.
Der Trend zu KI-gesteuerten Entdeckungen setzt eine Entwicklung fort, die bereits im Juli 2024 begann, als Google DeepMinds AlphaProof bei der Internationalen Mathematik-Olympiade eine Silbermedaille errang. Die Frage, welche Rolle menschliche Mathematiker künftig spielen werden, bleibt unter Experten umstritten – während die KI immer autonomer forscht.
