Particle.news

OpenAI Says Its AI Produced a Proof for the Navier–Stokes Millennium Problem

The company reports an agent‑driven run that produced a singularity result but independent peer review and provenance checks must confirm the claim before the Clay Institute will recognize it.

Overview

  • OpenAI announced Wednesday that a not‑public advanced model using thousands of autonomous agents found a proof claiming conditions exist where Navier–Stokes solutions develop a singularity, meaning fluid velocity can grow without bound.
  • The company says the work began with a 1,000‑agent run on a simplified case, then scaled to about 10,000 agents and roughly 88 hours of computation, with costs OpenAI described as running into the millions of dollars.
  • OpenAI provided a simulation showing an accelerating helical vortex as part of its demonstration but has not yet published a fully transparent, peer‑reviewable proof that mathematicians can inspect step by step.
  • Two researchers, Tristan Buckmaster and Levent Alpöge, say OpenAI began work after learning of their progress and allege the company may have used their unpublished material; OpenAI denies accessing their private work and says it trained a new model in late August.
  • The Clay Mathematics Institute continues to list Navier–Stokes as unresolved pending independent verification, and experts warn the episode could reduce researchers’ willingness to share partial results and reshape norms for attribution and transparency in mathematics.