OpenAI claims Navier-Stokes blow-up proof; mathematicians dispute credit

OpenAI said an internal model beyond GPT-6 Astra, run as about 10,000 parallel agents for 88 hours, proved that a smooth forced 3D fluid starting at rest can develop a finite-time singularity, which would answer the Millennium Prize problem in the negative; it released a Lean check and a companion Euler result. NYU's Tristan Buckmaster said the approach followed unpublished work by him and Anthropic's Levent Alpöge and alleged pressure over authorship; OpenAI denies seeing it and will not claim the prize, and no independent acceptance has yet been reported.