ИИ von OpenAI hat das Millennium-Problem, eines der sieben schwierigsten mathematischen Rätsel der Welt, gelöst – das Problem der Navier-Stokes-Gleichungen. Diese beschreiben, wie Flüssigkeiten und Gase (zum Beispiel Wasser im Ozean oder Luft in der Atmosphäre) sich bewegen. Mathematiker konnten über Jahrzehnte nicht verstehen: Bleiben die Strömungen von Wasser oder Luft immer glatt, oder kann es unter bestimmten Bedingungen zu einem „Explosions“-Ereignis kommen – wenn die Geschwindigkeit an einem Punkt augenblicklich ins Unendliche steigt? Der KI-Modell hat simuliert und bewiesen, dass eine „Explosion“ möglich ist. Gleichzeitig arbeitete ein System von etwa 10.000 KI-Agenten auf Basis eines noch nicht veröffentlichten Modells von OpenAI, das über Fähigkeiten verfügt, die über denen von GPT-6 Astra liegen. In 88 Stunden tauschten die Agenten 2,7 Millionen Nachrichten aus und fanden eine Lösung, nach der das neuronale Netzwerk weitere 17 Stunden damit verbrachte, den Beweis zu formalisieren und ihn in der mathematischen System Lean zu überprüfen.
Jetzt werden die Wissenschaftler die Berechnungen überprüfen und wenn sie keine Fehler finden, wird dies eine der größten wissenschaftlichen Entdeckungen des Jahrhunderts sein. OpenAI erklärte, dass sie nicht beabsichtigt, den Preis von 1 Million $ für die Lösung dieses Problems zu beanspruchen.
Post #385
76
