OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs

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.