Die Nachricht

Mathematik ist auf diesem Blog eher ein ungewöhnliches Thema. Diese Nachricht möchte ich trotzdem kurz aufgreifen, weil sie zeigt, woran KI-Modelle inzwischen arbeiten. Am 6. Oktober hat OpenAI mehrere Hundert Texte zur Mathematik veröffentlicht, die ein KI-Modell geschrieben hat. Sie beanspruchen Fortschritte bei ungelösten mathematischen Problemen. Einen Tag später zog OpenAI drei der Texte wieder zurück. Hier die Kurzfassung: was dahintersteckt und was bisher belegt ist.

Was OpenAI veröffentlicht hat

Die Texte stammen von einem internen Modell, das nicht öffentlich verfügbar ist. OpenAI nennt weder einen Namen noch einen Starttermin. Veröffentlicht wurden zunächst 722 Manuskripte. Das sind Vorabfassungen, die noch keine Fachkollegen begutachtet haben. Sie beanspruchen Fortschritte bei 372 mathematischen Problemen. Beide Zahlen stehen nicht im Blogbeitrag von OpenAI, sondern im Archiv auf GitHub und in der Berichterstattung.

Leicht missverstehen lässt sich die Angabe zu drei Stunden. OpenAI schreibt, ein durchschnittliches Ergebnis habe so viel Rechenaufwand gebraucht wie etwa drei Stunden Denkzeit in ChatGPT Pro. Das sagt etwas über den Aufwand, nicht über die Dauer.

Ein Vorzeichenfehler, drei zurückgezogene Arbeiten

Am 7. Oktober nahm OpenAI drei Manuskripte wieder heraus. In einem Text steckte ein Vorzeichenfehler, also ein falsches Plus oder Minus in einer Rechnung. Dadurch stimmte ein Argument nicht mehr. Zwei weitere Arbeiten bauten darauf auf und fielen mit weg. Laut OpenAI fiel der Fehler bei einer Prüfung auf. Seitdem sind es 719 Manuskripte, 14 weitere wurden überarbeitet.

Wie gut ist das geprüft?

Normalerweise begutachten Fachleute solche Texte, bevor sie als gesichert gelten. Bei diesen Arbeiten steht das noch aus. Teilweise gibt es eine Absicherung per Computer: Mit der Beweissprache Lean kann ein Programm jeden Schritt eines Beweises nachrechnen, sofern die Aussage richtig in Lean übersetzt wurde.

Wie viele Ergebnisse so geprüft sind, schwankt je nach Quelle. Laut Archiv sind rund 42 Prozent der Hauptergebnisse in Lean formalisiert. OpenAI sagte gegenüber Retraction Watch, etwa die Hälfte sei ohne vollständige Formalisierung erschienen. Klar ist nur: Ein großer Teil ist noch nicht maschinell geprüft.

Was Fachleute sagen

Melanie Wood von der Harvard University sagte laut TechCrunch sinngemäß, bei solchen KI-Lösungen gebe es zum Zeitpunkt der Veröffentlichung noch kein menschliches Verständnis, die eigentliche Arbeit beginne erst jetzt. Sie gehört selbst zur Beratergruppe AGMAI am Institute for Advanced Study, die OpenAI vor der Veröffentlichung um Rat gefragt hat. Alex Townsend von der Cornell University meinte laut Retraction Watch, OpenAI hätte zuerst die Arbeiten ankündigen sollen, die per Computer bestätigt sind. OpenAI erklärte, man begrüße Prüfung und Rückmeldungen aus der Mathematik.

Was hat das mit einer Intelligenzexplosion zu tun?

Mit dem Begriff ist eine gedachte Entwicklung gemeint: KI wird so gut, dass sie selbst forscht, auch an besserer KI, und sich dadurch immer schneller verbessert. Wenn ein Modell eigenständig an offenen Forschungsfragen arbeitet, wäre das ein Baustein dafür. Belegt ist das bisher nicht. Solange kaum jemand die Ergebnisse geprüft hat, ist es höchstens ein Hinweis.

Was das bedeutet

Ob die Ergebnisse halten, ist offen. Prüfen können das im Moment nur Fachleute anhand der veröffentlichten Texte, denn das Modell selbst ist nicht zugänglich. Bis dahin sind es beanspruchte Ergebnisse eines Herstellers, von denen drei schon zurückgezogen wurden.

Quellen

5 Links

Stand der Recherche und der Quellen: 13.10.2026. Zahlen und Bewertungen können sich ändern, weil OpenAI das Repository fortlaufend aktualisiert.

Alle Angaben erfolgen nach bestem Wissen und ohne Gewähr. Für Richtigkeit, Vollständigkeit und Aktualität übernehme ich, soweit gesetzlich zulässig, keine Haftung.

Welche Rolle soll KI in deinem Filmprojekt spielen?

Schick mir Produkt, Einsatz und Zeitraum. Ich gebe dir eine persönliche Einschätzung, welche Werkzeuge für dein Vorhaben sinnvoll sind.

Projekt einordnen