Wes Roth · 2026-09-09 · notable
Wes Roth — 'OpenAI JUST solved math....'
Wes Roth's September 9 video works through OpenAI's claim that 10,000 agents produced a proposed solution to the Navier-Stokes Millennium Prize Problem in 88 hours, and the argument over credit that followed it.
Wes Roth walks through OpenAI's Navier-Stokes claim, the competing human work, and what is still unanswered.
What is it?
'OpenAI JUST solved math....' went up on the Wes Roth channel on September 9, 2026, a day after OpenAI announced that roughly 10,000 agents produced a proposed solution to the Navier-Stokes Millennium Prize Problem in about 88 hours. The video's own description says it covers the math, the credit dispute, OpenAI's response, and what the result could mean for scientific discovery.
How does it work?
The episode starts from Euler's equations and fluid dynamics before getting to the Lean proof verification step, which is how the claim can be checked mechanically rather than trusted. It then sets OpenAI's announcement against the work of NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpoge, who say they reached a related result first.
Why does it matter?
A machine-produced proof of a Millennium Prize Problem is the kind of claim that needs unpacking before it gets repeated, and the credit question here is genuinely unresolved. Wes Roth's framing is the channel's own reading, not a verdict from the mathematics community — the video is a map of the dispute rather than a settlement of it.
Who is it for?
people following AI-for-mathematics claims