OpenAI verkündet gelöste Navier–Stokes-Gleichungen und gründet Mathematiker-Komitee
In ein und demselben Blogbeitrag: ein internes Modell, das angeblich über 100 offene Probleme geknackt hat, und eine unabhängige Expertengruppe, die die entstehende Schockwelle managen soll.
Kurz gesagt
OpenAI behauptet, ein internes Modell, dessen Training am 28. August begann, habe das Millennium-Problem der Navier–Stokes-Gleichungen sowie mehr als 100 langjährige offene Probleme der Mathematik gelöst. Im selben Beitrag kündigt das Unternehmen die Gründung einer unabhängigen Beratergruppe aus neun führenden Mathematikern an, die diese Ergebnisse bewerten und deren Kommunikation orchestrieren soll. Das Komitee hat jedoch kein Mitspracherecht beim Tempo des internen Fortschritts von OpenAI.
🍺 Tresen-Version
OpenAI erklärt quasi im Nebensatz, dass eines seiner hauseigenen Modelle eines der sieben Millennium-Probleme sowie rund hundert weitere jahrzehntelang offene Fragen gelöst hat – und schwenkt dann direkt zur Gründung eines Komitees über. Das ist ungefähr so, als würde man in derselben Pressemitteilung einen Universalimpfstoff verkünden und gleichzeitig seine neue PR-Abteilung vorstellen. Das Komitee selbst versammelt sehr ernstzunehmende Namen – eine Fields-Medaille, ein Witten – aber sein Mandat schließt explizit aus, OpenAI zu sagen, es solle langsamer machen. Wenn die Ergebnisse stimmen, ist das einer der bedeutendsten Momente in der Geschichte der Mathematik; und bislang gibt es schlicht nichts zu lesen.
Das Wichtigste
- 1
OpenAI erklärt, am 28. August das Training eines neuen internen Modells gestartet zu haben, und behauptet, es habe seitdem das Millennium-Problem Navier–Stokes gelöst.
- 2
Dasselbe Modell soll „mehr als 100“ langjährige offene Probleme in den meisten Bereichen der Mathematik gelöst haben, in einem Tempo, das die firmeneigenen Mathematiker überrascht hat.
- 3
Kein Beweis, keine Veröffentlichung, keine technischen Details begleiten die Ankündigung: Der Beitrag dreht sich um Governance, nicht um Ergebnisse.
- 4
Eine unabhängige Beratergruppe umfasst François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten und Melanie Matchett Wood.
- 5
Die Mitglieder werden nicht von OpenAI bezahlt, können ihre Einschätzungen öffentlich machen, unaufgefordert Stellungnahmen abgeben und ihre eigene Zusammensetzung selbst ändern.
- 6
Das Mandat schließt eine Sache explizit aus: OpenAI beim Tempo seines internen Fortschritts in der Mathematik zu beraten.
- 7
Die Ankündigung reagiert teilweise auf den offenen Brief „A Severe Misalignment of AI in Mathematics“, der die Nutzung offener Probleme als Benchmark kritisiert.
Was OpenAI behauptet
Der Beitrag beginnt mit einem Satz, der – sollte er sich bestätigen – allein ein Jahrzehnt Presseberichterstattung wert wäre: Ein neues internes Modell, dessen Training am 28. August begann, habe das Millennium-Problem zu den Navier–Stokes-Gleichungen gelöst. Das ist eines der sieben Probleme, für die das Clay Mathematics Institute ein Preisgeld von einer Million Dollar ausgesetzt hat.
OpenAI fügt hinzu, dasselbe Modell habe seither „mehr als 100“ langjährige offene Probleme gelöst, verteilt über die meisten Zweige der Mathematik. Das Unternehmen betont, dass das Tempo dieses Fortschritts sogar die eigenen Mathematiker überrascht habe.
Nichts im Beitrag untermauert diese Behauptungen: kein Beweis, kein Preprint, keine Liste der betroffenen Probleme, kein Name eines Gutachters. Genau diese Leere soll das im weiteren Text angekündigte Komitee füllen.
Das Komitee, sein Mandat und seine Grenzen
Neun Mathematiker bilden diese unabhängige Beratergruppe: François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) und Melanie Matchett Wood (Harvard). Das Aufgebot ist gewichtig: mindestens zwei Fields-Medaillen sowie zentrale Figuren der Analysis, algebraischen Geometrie und theoretischen Physik.
Ihre Rolle, wie beschrieben: OpenAI helfen, die Bedeutung neu auftretender Ergebnisse einzuschätzen, bei der Koordination ihrer Verbreitung beraten, an die akademischen und professionellen Standards der mathematischen Forschung erinnern. Die Gruppe soll auch beeinflussen, wie OpenAIs Werkzeuge Forschung und Lehre unterstützen können.
Die Unabhängigkeitsgarantien sind explizit und ungewöhnlich präzise formuliert: keine Bezahlung durch OpenAI, Freiheit, Gutachten öffentlich zu machen, Freiheit, unaufgeforderte Stellungnahmen zu geben, Freiheit, den Einfluss OpenAIs auf die Mathematik zu kommentieren, sowie Kontrolle über die eigene Zusammensetzung.
Ein Ausschluss steht schwarz auf weiß fest: Die Gruppe wird OpenAI nicht zum Tempo seines internen Fortschritts beraten. Mit anderen Worten: Sie darf über die Art der Kommunikation sprechen, nicht über die Entscheidung, ob man beschleunigt oder nicht.
Der offene Brief im Hintergrund
OpenAI zitiert selbst den offenen Brief „A Severe Misalignment of AI in Mathematics“, in dem Mathematiker die negativen externen Effekte einer inzwischen üblichen Praxis anprangern: offene Probleme als Benchmark zur Validierung neuer KI-Systeme zu verwenden.
Der Vorwurf ist keine korporatistische Marotte. Ein offenes Problem ist kein Unit-Test: Sein Wert beruht auf kollektiver Konstruktion, Peer-Review und bewusst langsamem Vorgehen. Es in einen Leaderboard-Score zu verwandeln, verändert die Natur der Tätigkeit und kann die Gemeinschaft mit angeblichen Beweisen überschwemmen, die sich im großen Maßstab nicht überprüfen lassen.
OpenAI räumt ein, dass diese Kritik „die Notwendigkeit eines durchdachten Engagements von KI-Unternehmen mit der mathematischen Gemeinschaft unterstreicht“. Das Komitee wird als Antwort darauf präsentiert – und als „ein erster Schritt“.
Was das über OpenAIs Strategie aussagt
Strukturell ist der Beitrag seltsam aufgebaut: Eine potenziell historische wissenschaftliche Ankündigung dient als Einleitung für eine Governance-Ankündigung. Man kann darin Vorsicht lesen – keine Ergebnisse ohne Validierung durch die Gemeinschaft zu veröffentlichen – aber auch eine Art, die Behauptung dennoch in Umlauf zu bringen und ihre Überprüfung auf später zu verschieben.
Die Einrichtung eines externen, unbezahlten und veröffentlichungsfreien Komitees ist ein echtes Zugeständnis. Sie überträgt renommierten Mathematikern einen Teil der Glaubwürdigkeit, die sich das Unternehmen auf diesem Gebiet nicht allein zuschreiben kann. Es ist auch ein Wagnis: Widerspricht das Komitee den Ergebnissen öffentlich, hat OpenAI es selbst dazu ausgerüstet.
Bleibt die rote Linie beim Tempo. Eine Gruppe, die alles kommentieren darf außer der Geschwindigkeit, mit der man voranschreitet, ist genauso ein Kommunikationsinstrument wie eine Gegenmacht. Genau daran wird man in den kommenden Monaten messen müssen, was dieser „erste Schritt“ wirklich wert ist.
“In addition to resolving the Navier–Stokes Millennium Prize problem, this model has now resolved more than 100 long-standing open problems across most areas of mathematics.”
“Its value depends on its members being able to exercise their own judgement and challenge ours.”
“Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.”
Warum es zählt
Sollten sich die Behauptungen bewahrheiten, spricht man vom ersten durch eine Maschine gelösten Millennium-Problem und von hundert offenen Ergebnissen, die binnen wenigen Monaten fielen – ein Umbruch für eine Disziplin, deren Zeiteinheit das Jahrzehnt ist. Doch bislang ist nichts überprüfbar, und genau darin liegt das Problem: OpenAI verkündet ein außergewöhnliches Ergebnis ohne Beweis und schafft gleichzeitig die Instanz, die über seine Glaubwürdigkeit richten soll. Die Konstruktion ist geschickt gemacht und ihre Unabhängigkeitsgarantien sind real (keine Bezahlung, Publikationsrecht, Kritikrecht). Dennoch bleibt der Wirkungsbereich ausgeklammert, wenn es um die einzige heikle Frage geht – das Tempo –, und die mathematische Gemeinschaft erhält eher einen Sitz am Kommunikationstisch als am Entscheidungstisch. Genau beobachten sollte man: Die erste öffentliche Äußerung dieses Komitees wird weit mehr wert sein als der Beitrag, der es angekündigt hat.
Weiterlesen
Jev: das Modell, das für den Aufruf durch Code gebaut wurde, nicht durch Menschen
Diogo Almeida, ehemals OpenAI, erklärt, warum er eine neue Klasse von „System-One“-Modellen geschaffen hat — und warum er öffentliche Benchmarks, Refusals und Pretraining ablehnt.
Quelle · Latent Space · Why We Made Jev — Diogo Almeida, TypeSafe Co-founder & CEO
99 % oder 0 %: Vier Experten wetten über das Ende der Welt
Steven Bartlett lässt vier Experten ihre Aussterbewahrscheinlichkeit auf einen Umschlag schreiben. Die Antworten reichen von 99 % bis null, und die anschließende Debatte ist die aufschlussreichste, die wir zu diesem Thema gehört haben.
Quelle · The Diary Of A CEO · AI Emergency: The AI Labs Are Lying To Everyone, He Says 99% Chance Of Extinction | Roman Yampolskiy
#agiHeuteOpenAI fordert weltweite Standards vor der KI-Selbstverbesserung
Das Labor verlangt einen internationalen technischen Rahmen für den Moment, in dem KI selbst KI-Forschung betreibt — und fordert die USA auf, die Feder in die Hand zu nehmen.
Quelle · OpenAI · Building standards for the next phase of AI