OpenAI Claims AI Agents Solve Navier–Stokes Problem as Mathematicians Allege Uncredited Work

OpenAI claims its AI agents prove that full Navier–Stokes equations can break down, but mathematicians Tristan Buckmaster and Levent Alpöge allege the result draws on their uncredited AI-assisted work; OpenAI denies accessing their transcripts.

• OpenAI claims its agents solve the Navier–Stokes existence and smoothness problem, a Millennium Prize Problem, but faces accusations that it used uncredited AI-assisted work by NYU mathematician Tristan Buckmaster and Anthropic employee Levent Alpöge; OpenAI denies accessing their transcripts.
• OpenAI says its internal model proves the full Navier–Stokes equations can break down after deploying about 10,000 agents concurrently for a few days at a cost of millions of dollars, and it does not plan to claim the $1 million Clay Mathematics Institute prize.
• Buckmaster posts a proof Monday that a simplified Navier–Stokes system can break down after nearly a year of work with Alpöge using public OpenAI and Anthropic models; he says OpenAI offered collaboration only if Alpöge, an Anthropic employee, was excluded from authorship.