An AI System Claims a 90-Year-Old Math Prize Problem. The Real Story Is Messier

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.