Ein Forschungsteam hat eine KI-generierte Lösung zum Navier-Stokes-Millennium-Prize-Problem vorgestellt, eines der sieben Millennium-Probleme der Clay Mathematics Foundation. Das Ergebnis ist bemerkenswert, weil es zeigt, dass KI-Systeme auch an tiefgreifenden mathematischen Fragen arbeiten können – mit formalem, maschinengeprüftem Beweis in Lean. Dies ist ein eindrucksvolles Beispiel für den Einsatz von KI in der theoretischen Mathematik, auch wenn die Bewertung, ob dies tatsächlich ein echtes mathematisches Durchbruch ist oder eher eine KI-Anwendung auf bekannte Methoden, noch ausstehen dürfte. Für ein breites KI-Publikum ist es dennoch interessant als Demonstration der Fähigkeiten moderner Sprachmodelle bei komplexer Problemlösung.
