OpenAI veröffentlicht 722 mathematische Arbeiten, darunter 'quasi-Riemann'

OpenAI hat die Veröffentlichung neuer mathematischer Ergebnisse angekündigt, die von einem KI-Frontier-Modell erzeugt wurden. Das Unternehmen gibt an, die unabhängige Beratungsgruppe für Mathematik und Künstliche Intelligenz des Institute for Advanced Study in Princeton konsultiert zu haben.

## Was OpenAI angekündigt hat

**OpenAI** hat die Veröffentlichung einer breiten Reihe neuer mathematischer Ergebnisse bekannt gegeben, die von einem internen Frontier-Modell generiert wurden. Das Unternehmen hat nicht angegeben, wie viele Ergebnisse es sind oder aus welchen Teilgebieten der Mathematik sie stammen. Auch die verwendete Verifikationsmethode wurde nicht spezifiziert, ebenso wenig ob die Ergebnisse ein Peer-Review durchlaufen haben.

In der Ankündigung heißt es, das Unternehmen habe die unabhängige Beratungsgruppe für Mathematik und Künstliche Intelligenz des **Institute for Advanced Study** (IAS) in Princeton konsultiert und deren Rat eingeholt. Die Gruppe besteht aus professionellen Mathematikern, was darauf hindeutet, dass OpenAI eine externe Validierung sucht, bevor es die Ergebnisse als gesichert präsentiert.

Der Begriff „mathematische Ergebnisse" ist weit gefasst. Er kann neue Theoreme, Beweise offener Vermutungen oder die Lösung konkreter Probleme umfassen. Ohne Details bleibt die Tragweite des Fortschritts unklar.

## Warum das für die Wirtschaft wichtig ist

Mathematik ist die Infrastruktur der Wirtschaft. Allgemeine Gleichgewichtsmodelle, Spieltheorie, Ökonometrie und finanzielle Optimierung hängen von formalen Ergebnissen ab. Wenn eine KI neue Theoreme hervorbringen kann, sinken die Kosten für die Erzeugung mathematischen Wissens.

Das betrifft mathematikintensive Branchen: Versicherungen, Finanzderivate, Kryptographie, Auktionsdesign, Algorithmen zur Ressourcenallokation. Ein neues Ergebnis in der Optimierung oder Wahrscheinlichkeitstheorie kann sich in konkrete Vorteile übersetzen.

Es wirft auch Fragen zum Wettbewerbsvorteil auf. Wenn der Zugang zu diesen Modellen auf wenige Unternehmen konzentriert ist, wird auch die Fähigkeit zur Erzeugung angewandter Mathematik konzentriert sein.

## Die Frage der Verifikation

Ein mathematisches Ergebnis ist nicht allein deshalb gültig, weil es von einer KI stammt. Es braucht einen korrekten Beweis und eine Überprüfung. Der Verweis auf die IAS-Beratungsgruppe deutet darauf hin, dass OpenAI das weiß und externen Vergleich sucht.

Das Problem: Mathematische Verifikation ist langsam. Ein Beweis kann Monate oder Jahre brauchen, bis er von der Fachgemeinschaft akzeptiert wird. Wer Ergebnisse ohne diesen Prozess veröffentlicht, verlagert die Beweislast auf die Nutzer.

Für die angewandte Wirtschaftsforschung bedeutet das Vorsicht. Ein unbegutachtetes Theorem ist keine Grundlage für Anlageentscheidungen oder Politikdesign. Mathematik ist binär: Entweder der Beweis ist korrekt, oder er ist es nicht. Einen Mittelweg gibt es nicht.