Kann KI neue Mathematik entwickeln? Was die Mathe-Veröffentlichung von OpenAI zeigt

Was passiert ist

Am 6. Oktober 2026 hat OpenAI, das Unternehmen hinter ChatGPT, mehr als 700 mathematische Manuskripte online gestellt. Ein Manuskript ist eine Forschungsarbeit, die Fachleute noch nicht offiziell begutachtet haben. Geschrieben wurden sie von einem KI-Modell, das OpenAI intern nutzt und das für die Öffentlichkeit nicht verfügbar ist.

Laut OpenAI bekam das Modell etwa 4.000 Aufgaben, darunter offene Probleme: Fragen, die Mathematikerinnen und Mathematiker bisher nicht lösen konnten. Für jedes Ergebnis hat das Modell etwa drei Stunden lang „nachgedacht“. Das heißt: Es arbeitet die Aufgabe Schritt für Schritt durch, bevor es eine Antwort schreibt.

Wie die Arbeit geprüft wird

In der Mathematik zählt ein Ergebnis erst, wenn sein Beweis geprüft wurde. Ein Beweis ist eine schrittweise Begründung, die zeigt, dass eine Aussage immer stimmt. Ein einziger falscher Schritt kann den ganzen Beweis ungültig machen.

• Prüfung per Computer: Für etwa 42 % der Hauptergebnisse (Stand: 7. Oktober) hat OpenAI auch eine Version für Lean veröffentlicht. Lean ist ein Programm, das jeden Schritt eines Beweises prüft und alles ablehnt, was nicht logisch folgt. Menschen müssen trotzdem bestätigen, dass Lean genau die Aussage geprüft hat, die auch in der Arbeit steht.
• Prüfung durch Menschen: Die übrigen Ergebnisse sind noch nicht per Computer geprüft. Fachleute aus der Mathematik lesen sie gerade. Mehrere bekannte Mathematikerinnen und Mathematiker haben gesagt, dass ein Ergebnis erst zählen sollte, wenn Menschen es geprüft und verstanden haben.

Die ersten Korrekturen

Einen Tag später, am 7. Oktober, hat OpenAI 3 Manuskripte zurückgezogen. Ein Vorzeichenfehler (ein Plus, wo ein Minus hingehörte, oder umgekehrt) in einer Arbeit machte eine Begründung ungültig, auf die sich zwei andere Arbeiten stützten. Weitere 14 Manuskripte wurden korrigiert.

OpenAI selbst bezeichnet die Dateien als „rohe Forschungsdaten“ und nicht als fertige Arbeiten.

Warum das wichtig ist

Die Veröffentlichung zeigt, dass KI heute stundenlang an sehr schweren Problemen arbeiten kann. Gleichzeitig zeigt sie die andere Seite: Selbst die stärksten Systeme machen Fehler, die klein aussehen und doch alles verändern, und das Prüfen kostet Fachleute viel Zeit. Wie groß dieser Schritt für die Mathematik ist, wird noch diskutiert.

Was das für Sie bedeutet, wenn Sie mit ChatPrime chatten

Wenn Sie ChatPrime bitten, eine Mathe-Aufgabe Schritt für Schritt zu lösen oder zu erklären, können die Schritte überzeugend aussehen und trotzdem einen Fehler enthalten.

• Prüfen Sie jeden Schritt, nicht nur das Endergebnis.
• Setzen Sie das Ergebnis in die Aufgabe ein, um zu sehen, ob es stimmt, oder lösen Sie die Aufgabe auf einem anderen Weg.
• Bei Hausaufgaben: Nutzen Sie die Erklärung, um den Lösungsweg zu lernen, und prüfen Sie das Ergebnis danach selbst.

Quelle

OpenAI, mathematische Manuskripte, Lean-Dateien und Änderungsprotokoll, Oktober 2026: github.com/openai/math

Korrekturen vom 7. Oktober 2026: history.md