Mathematiker bezweifeln, dass OpenAI seinen eigenen Navier-Stokes-Beweis versteht
🤖 KI-generierter Inhalt — Titel und Zusammenfassung wurden automatisch von künstlicher Intelligenz erstellt, ohne menschliche redaktionelle Prüfung.
OpenAI legte im frühen September einen 166-seitigen, in Lean verfassten Lösungsversuch für das Navier-Stokes-Problem vor, den das Clay Mathematics Institute prüft. Experten wie Gonzalo Cao-Labora von der EPFL widersprechen jedoch der Darstellung von OpenAI, der Ansatz folge spanischen Mathematikern, und sehen lediglich oberflächliche Ähnlichkeiten. Zudem kritisieren Mathematiker die Veröffentlichung von rund 400 weiteren Ergebnissen auf GitHub als unübersichtlich, während die Black-Box-Natur von Sprachmodellen den Ursprung verschleiert.
Weiter in der App — abstimmen & mitreden ➔Quelle: The Decoder (AI)