KI SpotlightNewsAltman zeigt „Empathie für die Methode“ und will weiter veröffentlichen
OpenAI-Chef Sam Altman räumt ein, dass die Flut KI-generierter Mathematikergebnisse Fachleute überfordert. Für die KI sieht er darin nichts Schlechtes. Eine Kurskorrektur kündigt er nicht an.
Mit KI erstelltInhalt
◆ Fakten auf einen Blick
- OpenAI veröffentlichte 722 Manuskripte mit KI-generierten Lösungen offener mathematischer Probleme auf GitHub.
- Laut Fortune haben mehr als 370 Probleme vollständige oder teilweise Lösungen.
- Die Lösungen entstanden mit einem unveröffentlichten internen Modell, im Schnitt rund drei Stunden Rechenzeit.
- Das Repository enthält Lean-Formalisierungen vieler Beweise; weitere sollen folgen.
- OpenAI sagte am 15. Oktober 2026 5 Mio. US-Dollar für eine Simons-Foundation-Initiative zu.
Altman hat „Empathie für die Methode“ und will trotzdem weiter veröffentlichen
OpenAI-Chef Sam Altman hat öffentlich eingeräumt, dass die Art, wie sein Unternehmen KI-Mathematikergebnisse veröffentlicht, Mathematiker überfordert. Änderungen am Vorgehen kündigte er nicht an. Im Podcast „Cheeky Pint“ sagte er gegenüber Stripe-Präsident John Collison: „As I said, I don't think it was bad for AI. And I think, on net, the world deserves to understand how the universe works. But I do have empathy for the method.“ Die Folge erschien an einem Donnerstag.
Laut einer Zusammenfassung von hyper.ai argumentierte Altman, der Wert neuen Grundlagenwissens für die Öffentlichkeit überwiege die Störung durch OpenAIs Ankündigungen. OpenAI müsse Darstellung und Einordnung der Ergebnisse verbessern. Entdeckungen solle es aber nicht zurückhalten. Dieselbe Zusammenfassung deutet an, OpenAI habe vermutlich noch viele Entdeckungen in Reserve. Diese Andeutung steht ausschließlich dort, nicht im wörtlich wiedergegebenen Zitat, und ist nicht belegt.
Eine Kurskorrektur gibt es nicht. Auch die Präsentation will OpenAI nach dieser Darstellung lediglich „verbessern“. Einen Zeitplan oder konkrete neue Ergebnisse nennt das vorliegende Material nicht.
722 Manuskripte, mehr als 370 Probleme: Was OpenAI veröffentlicht hat und was Lean nicht leistet
Auslöser ist die Veröffentlichung von 722 Manuskripten mit KI-generierten Lösungen offener mathematischer Probleme in einem GitHub-Repository. Fortune spricht von mehr als 370 Problemen mit vollständigen oder teilweisen Lösungen. Nach Angaben von OpenAI entstanden sie mit einem unveröffentlichten internen Modell, das im Schnitt rund drei Stunden Rechenzeit pro Lösung brauchte.
Die Zahlen weichen je nach Quelle ab, weil offenbar unterschiedliche Einheiten gezählt werden: Manuskripte beziehungsweise PDFs auf der einen Seite, Probleme beziehungsweise Ergebnisse auf der anderen. Eine Quelle nennt 372 Ergebnisse in 719 PDFs. Die Primärquelle mit der exakten Zahl liegt nicht vor.
Im Repository finden sich Lean-Formalisierungen vieler Beweise, weitere sollen folgen. Lean prüft jedoch nur die logische Korrektheit des Codes. Ob der Code den Aussagen der Manuskripte entspricht, müssen Menschen beurteilen. Ein bestandener Lean-Check ist daher keine vollständige Begutachtung. Die Richtigkeit der Ergebnisse ist nicht unabhängig bestätigt.
Caltech-Rückzug und Simons-Millionen: Widerstand und Gegenmaßnahmen
OpenAI zog sich aus einem Caltech-„Math Hackathon“ zurück. Zuvor hatten aktuelle und frühere Caltech-Mathematiker vor „destruktiven Folgen“ für die mathematische Gemeinschaft gewarnt. Als Gegenmaßnahme sagte das Unternehmen am 15. Oktober 2026 fünf Millionen US-Dollar für eine neue Initiative der Simons Foundation zu. Sie soll Mathematikern helfen, KI-Ergebnisse zu prüfen, zu verstehen und auszubauen. Vorgesehen sind unter anderem Workshops, Konferenzen, Modellzugang und Rechenressourcen.
