The one that matters
OpenAI says an internal model solved Navier-Stokes - and the mathematicians closing in cry foul
OpenAI announced a resolution of Navier-Stokes existence and smoothness - a $1M Millennium Prize problem - produced by an internal model running 10k agents for 88 hours. NYU's Tristan Buckmaster, attacking the problem with Anthropic's Levent Alpoge, alleges OpenAI learned of their progress and raced it; OpenAI denies seeing their work but 'cannot rule out' that de-identified product data helped.
Why it matters
If it stands, an AI system just closed a Millennium Prize Problem - historic on its own. The dispute is the part with teeth: it turns 'can a lab see your chats and scoop you?' into an operational-security question, the same day Terence Tao warned that good open problems are being mined 'in a non-renewable fashion'. Provenance norms, not just benchmarks, now shape how AI research claims get judged.
