OpenAI will Navier-Stokes-Problem gelöst haben: Streit um KI-Beweis in Mathematik
Wissenschaft
Wer bisher noch Zweifel hatte, wie leistungsfähig KI-Modelle wirklich sind, kann diese jetzt eigentlich aufgeben: Die KI hat offenbar ein Millennium-Problem gelöst. Also eines der sieben fundamentalen Probleme der Mathematik, für deren Lösung das Clay Mathematics Institute im Jahr 2000 je eine Million Dollar Preisgeld ausgelobt hat. Nur eines wurde bislang gelöst, jetzt sind es vermutlich zwei: Die US-Firma Open AI hat mitgeteilt, mithilfe von 10 000 KI-Agenten, die untereinander 2,7 Millionen Nachrichten austauschten, das Navier-Stokes-Problem gelöst zu haben. In 88 Stunden Rechenzeit – ein Hohn für all die Mathematiker, die ihr halbes Leben damit verbracht haben.