BREAKING: OpenAI $WLD used $15 MILLION in Tokens, um dieses 90-jährige mathematische Rätsel anzugehen.
Die Navier–Stokes-Gleichungen beschreiben, wie Flüssigkeiten sich bewegen – von Wasser, das sich in einem Glas kräuselt, bis hin zu Luft, die über einem Flügel strömt.
Das Rätsel besteht darin, ob ein glatter 3D-Strom für immer stabil bleiben kann oder sich zu einer Singularität verengt, in der die Geschwindigkeit in endlicher Zeit unendlich wird.
OpenAI setzte 10.000 koordinierende KI-Agenten ein, was einen alltäglichen Nutzer 15M $ an Tokens kosten würde, zusammen mit einem Modell der nächsten Generation. Das System löste zunächst eine einfachere Version, bevor es in nur 88 Stunden ein vollständiges Ergebnis lieferte.
Die vorgeschlagene Lösung identifiziert einen Wirbel, der nach innen spiralförmig rotiert und sich ausdehnt, bis der Strom zerfällt, während die Gesamtenergie endlich bleibt.
Die Beweisführung wurde anschließend formal in Lean verifiziert, sodass ein Computer jeden logischen Schritt prüfen konnte.
Die Aufgabe trägt einen Preis des Clay Mathematics Institute in Höhe von 1 MILLION, den OpenAI laut eigenen Angaben nicht annehmen wird.
#WLD #AI
Die Navier–Stokes-Gleichungen beschreiben, wie Flüssigkeiten sich bewegen – von Wasser, das sich in einem Glas kräuselt, bis hin zu Luft, die über einem Flügel strömt.
Das Rätsel besteht darin, ob ein glatter 3D-Strom für immer stabil bleiben kann oder sich zu einer Singularität verengt, in der die Geschwindigkeit in endlicher Zeit unendlich wird.
OpenAI setzte 10.000 koordinierende KI-Agenten ein, was einen alltäglichen Nutzer 15M $ an Tokens kosten würde, zusammen mit einem Modell der nächsten Generation. Das System löste zunächst eine einfachere Version, bevor es in nur 88 Stunden ein vollständiges Ergebnis lieferte.
Die vorgeschlagene Lösung identifiziert einen Wirbel, der nach innen spiralförmig rotiert und sich ausdehnt, bis der Strom zerfällt, während die Gesamtenergie endlich bleibt.
Die Beweisführung wurde anschließend formal in Lean verifiziert, sodass ein Computer jeden logischen Schritt prüfen konnte.
Die Aufgabe trägt einen Preis des Clay Mathematics Institute in Höhe von 1 MILLION, den OpenAI laut eigenen Angaben nicht annehmen wird.
#WLD #AI
