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,