OpenAI hat gerade eine ernsthafte Behauptung auf den Tisch gelegt.
Die neueste KI-Forschung umfasste etwa 10.000 Agenten, die zusammen an dem Navier–Stokes-Problem arbeiteten, einer der berühmten ungeklärten Herausforderungen der Mathematik.
Anstatt dass ein einzelnes Modell das Problem aus einer einzigen Richtung angreift, hat das System viele Ansätze parallel untersucht. OpenAI sagt, dass ein früheres, einfacheres Euler-Problem den Agenten geholfen habe, Ideen zu entwickeln, die später auf Navier–Stokes angewendet wurden.
Der Durchbruch soll nach etwa 88 Stunden erfolgt sein.
Das vorgeschlagene Ergebnis deutet auf ein Szenario hin, in dem sich ein Wirbel weiter konzentriert und streckt, bis eine Singularität in endlicher Zeit entsteht, obwohl die gesamte Energie endlich bleibt.
Anschließend hat OpenAI das Argument in Lean übersetzt, damit der Beweis maschinell überprüft werden konnte.
Dieser Teil ist wichtig. Ein spektakuläres, von KI generiertes Argument ist das eine. Ein formal verifizierter Beweis ist etwas anderes.
Trotzdem gibt es eine wichtige Einschränkung: OpenAIs Ergebnis ist bisher noch keine von der mathematischen Gemeinschaft akzeptierte Lösung.
Das Problem ist mit einem $1M Millennium Prize verbunden, aber OpenAI sagt, dass es nicht beabsichtigt, ihn für sich zu beanspruchen.
Außerdem ist die im Internet kursierende Zahl von ~15M eine externe Schätzung der Token-Kosten, keine offizielle OpenAI-Zahl. Und es gibt keinen Beleg dafür, dass $WLD dafür verwendet wurde.
$SUI $4Stock
Die neueste KI-Forschung umfasste etwa 10.000 Agenten, die zusammen an dem Navier–Stokes-Problem arbeiteten, einer der berühmten ungeklärten Herausforderungen der Mathematik.
Anstatt dass ein einzelnes Modell das Problem aus einer einzigen Richtung angreift, hat das System viele Ansätze parallel untersucht. OpenAI sagt, dass ein früheres, einfacheres Euler-Problem den Agenten geholfen habe, Ideen zu entwickeln, die später auf Navier–Stokes angewendet wurden.
Der Durchbruch soll nach etwa 88 Stunden erfolgt sein.
Das vorgeschlagene Ergebnis deutet auf ein Szenario hin, in dem sich ein Wirbel weiter konzentriert und streckt, bis eine Singularität in endlicher Zeit entsteht, obwohl die gesamte Energie endlich bleibt.
Anschließend hat OpenAI das Argument in Lean übersetzt, damit der Beweis maschinell überprüft werden konnte.
Dieser Teil ist wichtig. Ein spektakuläres, von KI generiertes Argument ist das eine. Ein formal verifizierter Beweis ist etwas anderes.
Trotzdem gibt es eine wichtige Einschränkung: OpenAIs Ergebnis ist bisher noch keine von der mathematischen Gemeinschaft akzeptierte Lösung.
Das Problem ist mit einem $1M Millennium Prize verbunden, aber OpenAI sagt, dass es nicht beabsichtigt, ihn für sich zu beanspruchen.
Außerdem ist die im Internet kursierende Zahl von ~15M eine externe Schätzung der Token-Kosten, keine offizielle OpenAI-Zahl. Und es gibt keinen Beleg dafür, dass $WLD dafür verwendet wurde.
$SUI $4Stock
