OpenAI hat angekündigt, dass eines seiner KI-Modelle eines der sieben berühmten Millennium-Probleme der Mathematik gelöst hat. Diese sieben Probleme wurden 1999 vom Clay Mathematics Institute definiert, und für jede Lösung ist ein Preis von einer Million US-Dollar ausgelobt. Das Problem, das angeblich gelöst wurde, bezieht sich auf tiefe mathematische Fragen zur Struktur von Navier-Stokes-Gleichungen.
Die Ankündigung ist bemerkenswert und zeigt die wachsende Leistungsfähigkeit von Künstlicher Intelligenz bei komplexen, abstrakten Aufgaben. Während KI bisher primär bei Pattern-Recognition, Sprachverarbeitung und Optimierungsproblemen Erfolge verzeichnet hat, wäre eine Lösung eines echten mathematischen Beweises eine qualitativ neue Kategorie von Leistung. Dies würde demonstrieren, dass KI nicht nur trainierte Muster wiedergeben kann, sondern auch wirklich neues Wissen schaffen kann.
Allerdings ist die Ankündigung von Kontroversen überschattet. Fragen sind aufgeworfen worden darüber, ob das Modell wirklich unabhängig den Beweis entwickelt hat oder ob es bei der Entwicklung von äusseren Hinweisen profitiert hat. Auch ist fraglich, inwieweit KI-Systeme überhaupt "verstehen" können, was sie produzieren, oder ob sie nur hochgradig sophistizierte Pattern-Matching betreiben. Die mathematische Community wartet daher auf vollständige Publikation und Überprüfung des Beweises durch unabhängige Experten.
Für Unternehmen und Organisationen, die mit komplexen Optimierungs- und Analyseproblemen arbeiten, ist dies ein wichtiges Signal: KI-Systeme werden immer leistungsfähiger bei abstrakten und komplexen Aufgaben. Dies könnte neue Geschäftsmöglichkeiten eröffnen, beispielsweise in Forschung, Engineering und Finanzmodellierung. KMU sollten darauf achten, wie KI-Fähigkeiten ihre Branchen verändern könnten, und entsprechend ihre Fähigkeiten aufbauen oder externe Expertise suchen.
