KI hat eines der $1 Million Millennium-Probleme der Mathematik gelöst

Am Morgen des Dienstags, 8. September, gaben Mathematiker bei OpenAI bekannt, dass eine Gruppe von 10.000 autonomen KI-Agenten unter ihrer Leitung, die auf einem fortschrittlichen, nicht öffentlich zugänglichen Modell laufen, eine „Singularität“ in den Navier-Stokes-Gleichungen in drei Dimensionen gefunden habe – und damit eines der sechs verbleibenden Millennium-Preis-Probleme gelöst habe, die im Jahr 2000 vom Clay Mathematics Institute aufgestellt wurden und jeweils mit einem Preisgeld von 1 Million Dollar dotiert sind. Ihr Ergebnis wurde in der Programmiersprache Lean formal überprüft, was den Mathematikern die Gewissheit gibt, dass es tatsächlich korrekt ist.

Sollte das Ergebnis weiterer Überprüfung standhalten, handelt es sich mit deutlichem Abstand um den wichtigsten mathematischen Beweis, der bisher von einem Modell der künstlichen Intelligenz erbracht wurde, und markiert möglicherweise einen fundamentalen Wendepunkt in der Art und Weise, wie Mathematiker schwierige Probleme angehen.

Dieses spezielle schwierige Problem befasst sich mit Differentialgleichungen, die Beziehungen zwischen sich ändernden Größen ausdrücken. Sie sind wohl das wichtigste mathematische Werkzeug zur Erklärung der Welt um uns herum. In der Regel sind sie leicht aufzuschreiben und schwer zu lösen.