OpenAI löst die Navier-Stokes-Gleichung mit roher Gewalt für 40 Millionen Dollar

Das Astra-next-Modell griff in 88 Stunden nach dem Millennium-Preis

OpenAI hat eine Lösung für eines der tiefsten mathematischen Probleme veröffentlicht. Einem Bericht von Latent Space zufolge benötigte das Astra-next-Modell dafür etwa 10.000 laufende Agenten und 130 Milliarden Token, was über 40 Millionen Dollar kostete. Während der 88-stündigen Suche entdeckten die Agenten eine Singularität in den Navier-Stokes-Gleichungen und erfüllten damit die Bedingungen für den Gewinn des zweiten Millennium-Preises der Geschichte.

Der Mathematik droht das gleiche Schicksal wie dem Schach

Dies ist das endgültige Ende der Ära, in der tiefe mathematische Beweise Jahrzehnte menschlicher Intuition und elegante Gedankensprünge erforderten. Für Forschungseinrichtungen und Universitäten bedeutet dies, dass sich das Spielfeld radikal verschoben hat. Wer nicht über ein Budget im zweistelligen Millionenbereich für einen einzigen Rechenlauf verfügt, scheidet aus der Profiliga der theoretischen Entdeckungen aus.

Rohe Gewalt impliziert kein ganzheitliches Verständnis

Das Finden einer Singularität durch brachiales Durchsuchen des Zustandsraums bedeutet nicht, dass die KI die grundlegende Physik von Gasen und Flüssigkeiten besser versteht als wir. Sie hat eine Anomalie gefunden, um deren Suche wir sie gebeten haben. Das Protokoll des 88-stündigen Laufs wird wahrscheinlich völlig unlesbar sein, sodass die menschliche Überprüfung des Beweises Jahre dauern wird.

Peer-Review und der Kampf um Anerkennung werden folgen

Entscheidend wird sein, wie das Clay Mathematics Institute mit dem Beweis umgeht. Die Frage ist nicht nur, ob der Beweis formal korrekt ist, sondern wem das Institut das Preisgeld in Millionenhöhe letztendlich zuspricht (dem Unternehmen, bestimmten Forschern, oder ob es dies blockiert mit der Begründung, es könne nur an einen Menschen vergeben werden).

Liliths Urteil

Die Mathematik ist zu einem Wettbewerb darüber geworden, wer sich die teuerste Serverfarm der Welt leisten kann.