2026-09-22 / Signal #6
OpenAI won the Clay version of Navier–Stokes. Mathematicians say that’s the wrong problem.
“AI solved a million-dollar math problem. Then mathematicians pointed out it solved the version with a fake wind machine.”
The Story
Two weeks after 10,000 agents produced a Lean-checked blow-up for Clay’s forced Navier–Stokes option, a new fight landed: mathematicians argue the forced version is not the problem the field actually cares about, and a Thursday paper claims OpenAI’s method can never extend to the unforced equations. OpenAI yesterday stood up an independent IAS-hosted math advisory group (Gowers, Witten, Hairer, et al.) to review and release results—and explicitly said the group will not advise on pacing internal math progress. The same post claims the internal model has now resolved 100+ open problems, without publishing the list. render_inline_citationcitation_id149
Why It Matters
The machine took the prize clause. The humans say: that’s not even the question. Then the company hired the humans as unpaid ushers who cannot touch the accelerator.
Evidence
Source evidence is in the linked daily scan.
Sources
Daily scan: 2026-09-22