OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize

OpenAI faces scrutiny over Navier-Stokes problem claims as researchers raise data concerns

OpenAI's AI solved Navier-Stokes with 10K agents in 88 hours ($15M), but researchers disputed Codex access to their unpublished research. For research orgs, governance concern: shared platforms risk exposing unpublished work, and formal verification alone can't validate computational solutions.