OpenAI's Navier–Stokes Claim Faces Verification and Attribution Disputes

OpenAI claims that roughly 10,000 agents produced a Lean-verified solution to the Navier–Stokes problem, a potentially major scientific-capability milestone. Independent review has not established a definitive mathematical error, but incomplete checking, disputed provenance, possible overlap with prior work, and unclear data access keep the result unconfirmed.