OpenAI says AI agents produced Navier-Stokes proof; humans in math community challenge claim, having already misplaced the instructions
In a feat that combines scale, speed, and the unshakable confidence of a press release, OpenAI announced that 10,000 autonomous agents spent 88 hours slurping coffee substitutes and produced a proof of a Navier-Stokes corner, fully verified in Lean. Mathematicians, who generally require things like reproducibility and actual human understanding, responded with the scientific equivalent of a slow blink. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge raised questions about data provenance, attribution, and whether the agents had read the same problem statement. OpenAI denied using their unpublished work but conceded it cannot rule out that de-identified interactions with its own products somehow leaked in. The Clay Institute, meanwhile, notes the prize requires publication and broad acceptance, not merely a very confident log file. Consequences: every grant proposal will now include 'AI-assisted' somewhere, and human mathematicians will spend the next decade auditing machine hallucinations while pretending this is progress.