OpenAI löst Navier-Stokes-Problem: KI beweist Singularität in endlicher Zeit
On the Navier–Stokes Millennium Prize Problem
OpenAI gibt bekannt, dass ein internes KI-System einen Beweis für die Existenz und Glattheit der Navier-Stokes-Gleichungen gefunden hat, eines der Millennium-Probleme. Der Beweis zeigt, dass eine glatte Flüssigkeitsbewegung in endlicher Zeit eine Singularität entwickeln kann, selbst bei endlicher Energie. Die Lösung wurde in Lean formalisiert. Das System nutzte ein Modell, das deutlich leistungsfähiger als GPT-6 Astra ist, und koordinierte rund 10.000 Agenten, die 2,7 Millionen Nachrichten austauschten. Die Arbeit stellt einen bedeutenden Fortschritt in der KI-Forschung dar.
Die technische Herausforderung besteht darin, dass die Gleichungen den Zusammenbruch durch die Bewegung der Flüssigkeit selbst entwickeln, und nicht etwa dadurch, dass wir von Hand eine unendliche Kraft einsetzen.
- peri-cl
Terence Tao hat einige Beobachtungen, die auf genau das abzuzielen scheinen: https://mathstodon.xyz/@tao/117237320796901560
> "Wir haben nun gesehen, dass selbst das Gerücht, dass jemand an einem Problem arbeitet, eine massive Menge an KI-gestützter Arbeit auslösen kann, um es zu plätten, bevor das ursprüngliche Forschungsprojekt Zeit hat, sein volles Potenzial zu entfalten. Die Anreize könnten nun in die Richtung gehen, keine vielversprechenden Forschungsrichtungen mehr mit der breiteren Gemeinschaft zu teilen, was jahrhundertelange Traditionen offener Wissenschaft umkehren und dem zukünftigen Feld ernsthaften langfristigen Schaden zufügen würde."
- pavel_lishin
Ist das dasjenige, das angeblich auf der tatsächlichen Arbeit und den Prompts von jemand anderem basiert?
https://news.ycombinator.com/item?id=49605915
https://bsky.app/profile/quantian.bsky.social/post/3muyhwbcd...
- arctic-true
Unter all dem Drama vergraben ist die Tatsache, dass OpenAI behauptet, dass ein internes Modell, das sie seit weniger als zwei Wochen trainieren, in Mathematik mehr als doppelt so leistungsfähig ist wie Astra, das erst vor einer Woche veröffentlicht wurde. Selbst wenn diese Verbesserung auf Mathematik beschränkt ist, ist das eine erstaunliche Leistung.
- hdivider
Meine Meinung:
1. Es zeigt, was selbst diese Welle der KI tatsächlich tun kann.
2. Ich wünschte, es wäre von anderen Leuten gemacht worden, idealerweise unter einer Art öffentlicher Kontrolle wie NASA-Forschung oder dem NPR-Modell.
3. Denken Sie daran: Naturwissenschaft ist anders. Es geht nicht immer um Berechnung. Informatiker tun sich oft schwer damit – aber diese virtuelle Welt hier existiert nicht wirklich. Alles ist physisch, einschließlich Informationen. Jeder Naturwissenschaftler mit Promotion oder sonst weiß, wie kompliziert die Natur tatsächlich ist – z.B. nennen Sie ein Forschungsthema und versuchen Sie, alle relevanten Phänomene dort zu erfassen. Reine Mathematik ist anders, weil wir das Problem definieren, anstatt die Natur zu erforschen. Meiner Ansicht nach sind wir weit davon entfernt, Menschen aus der naturwissenschaftlichen Forschung und Entwicklung zu entfernen. Fortschritte in der KI können uns jedoch in allen Naturwissenschaften enorm helfen, was bereits beginnt.
- tiborsaas
> Wir teilen eine Lösung für das Navier-Stokes-Existenz- und Glattheitsproblem, eines der Millennium-Probleme. Dieser Beweis, erzeugt von einem internen OpenAI-System, zeigt, dass die Dynamik der Navier-Stokes-Gleichungen für Flüssigkeitsbewegung in endlicher Zeit eine Singularität entwickeln kann. Wir teilen sowohl eine Ausarbeitung des Beweises als auch eine Formalisierung in Lean.
WOW?
- mewse-hn
"Wir können nicht ausschließen, dass de-identifizierte Daten, die aus ihrer Nutzung unserer Produkte stammen, zur Verbesserung unserer Modelle beigetragen haben."
Was für ein Sprengsatz, der in diesem Bericht vergraben ist – Sie können nicht ausschließen, dass Ihre Modelle andere Forscher ausspioniert haben?
- jakevoytko
Für den vollständigen Kontext hier ist der HN-Thread von der anderen Seite des Abschnitts "Concurrent Work": https://news.ycombinator.com/item?id=49605915
Im Gegensatz zur oberflächlichen Lesart der OpenAI-Pressemitteilung ist er viel ungefilterter und skizziert ein besonders aggressives Verhalten bestimmter OpenAI-Mitarbeiter.
- intenex
Ich denke, das ist ein klarer Beweis dafür, dass KI-Modelle nun an der äußersten Grenze mathematischer Innovation und Entdeckung stehen und menschliche Grenzen überschreiten.
Die Tatsache, dass dieses spezielle Problem ein Kopfgeld von 1 Million Dollar hatte und 26 Jahre nach der Aussetzung immer noch ungelöst blieb, ist ein ziemlich klarer Beweis dafür, dass viele der besten menschlichen Mathematiker der Welt dieses Problem gelöst hätten, wenn sie gekonnt hätten, und keiner war dazu in der Lage, bis LLMs kamen.
Es ist schwer zu behaupten, dass LLMs nicht zu neuartiger STEM-Kreativität und Genie in einem Ausmaß fähig sind, das bald das menschliche weit übertreffen wird.
Wenn jemand Gegenargumente hat, würde ich sie gerne hören!
- recitedropper
Traurige Wendung für unsere Welt. Nachdem ich das Verhalten der ranghöchsten OpenAI-Forscher auf Twitter beobachtet habe, bin ich noch weniger zuversichtlich, dass sie das richtige Team sind, um so viel Kapital und Rechenleistung zu verwalten.
Der dunkle Wald wartet...
- piker
"... Der Punkt bleibt, dass es eine erhebliche Opportunitätskosten gibt, wenn man ein historisch produktives und motivierendes Problem (wie die Navier-Stokes-Regularität) in einen bloßen viralen Social-Media-Beitrag verwandelt, der Benchmark-Fortschritte bewirbt, anstatt das Feld tatsächlich voranzubringen und die nächste Generation von sowohl zu stellenden Problemen als auch Menschen, die daran arbeiten, zu entwickeln."