Person
Mathematician employed at Anthropic.
Mathematicians reading OpenAI's 166-page Navier-Stokes proof say it departs from the Spanish program the company cited, Scientific American reported. That undercuts the stated premise of the public dispute with NYU's Tristan Buckmaster, though the influence question may not be settled.
Reality
The theorem was checked in Lean, more than most capability claims get, but the part that moves a valuation, that very little human input went in, rests on prompt timestamps and a training-data question that went unanswered.
Perspective Coverage
9 publishersReality
OpenAI announced an agent-generated Navier-Stokes solution a day after Tristan Buckmaster and Levent Alpöge shared a year of work, Nature reported. No independent check shows OpenAI or Anthropic misused data, so researchers' practical exposure depends on account settings and on who publishes first.
Reality
Researchers say AI companies have at least twice in five weeks reached answers to questions they had long been working on, Nature reported. Some now limit their AI use, though one AI-safety scientist expects models to keep getting there first with or without uploaded manuscripts.
Reality
OpenAI's 165-page proof ships with a Lean 4 formalization anyone can download and build, which settles whether the argument follows from its own definitions and leaves whether those definitions state the Clay problem to human readers.
Perspective Coverage
8 publishersReality
OpenAI plans to post hundreds of AI-generated math results on GitHub on Tuesday, people familiar with the plans told WIRED. The mathematicians it consulted in August asked for papers they could absorb and use, so a bulk upload leaves that work to every reader.
Reality
OpenAI says about 10,000 AI agents produced a proposed finite-time singularity for the forced 3D Navier-Stokes equations in 88 hours. The construction fits one route the Clay rules allow and leaves unforced smoothness open, while the mathematicians whose forced-Euler work came first ask whether their Codex drafts reached the model.
Reality
A proof checker confirmed the steps of OpenAI's Navier-Stokes result within days. The argument now running through mathematics is over who explains the 166 pages and who gets the credit for them.
Perspective Coverage
7 publishersReality
OpenAI says no specific user data was accessed to solve the problem, and that it cannot rule out that de-identified data derived from two mathematicians' use of its products improved its models. A procurement team has to read both sentences.
Perspective Coverage
5 publishersReality
OpenAI's write-up gives the token counts, the agent count and the verification time for its Navier-Stokes result. The verification time is the number that decides whether the method transfers to anyone else's workload.
Perspective Coverage
3 publishersReality
Days after Caltech mathematicians called AI "slop mathematics" research misconduct, OpenAI's research lead said the company would stop sponsoring their competition. Organizers say they are talking to other firms.
Reality
With Navier-Stokes claimed and five Millennium problems left, the ordering of what falls next turns on which conjectures a single counterexample would settle. Five million dollars of Clay prize money is still unclaimed.
Perspective Coverage
3 publishersReality
OpenAI says its new nine-member mathematics advisory group will not advise on the pace of its internal research, and the group's own website says the decisions rest with the AI companies.
Reality
Buckmaster was preparing to publish when OpenAI announced it had solved the problem and offered him a share of the credit. A second mathematician, Andreas Thom, then asked the company whether his own ChatGPT conversations had reached its model.
Reality
A week and a half after accusing OpenAI of copying his approach to a problem carrying a $1 million bounty, the NYU mathematician is still running the company's coding agent on his own papers.
Reality
The Clay Mathematics Institute has the claimed Navier-Stokes solution under review, and a summer of agent-found bugs in Lean's kernel shows how narrow the guarantee a Lean certificate actually gives.
Reality
A LessWrong experiment had Claude Code verify the July counterexample to the Jacobian conjecture, then claimed the map had a typo. On byte-identical input the older checkpoint argued back and the newer one dropped it in all four runs.
Reality
Levent Alpoge and Ava Howell used a simple prompt to an internal Claude and got elliptic curves of rank at least 30 and at least 31 in days, in a field where the last single-rank step took more than 18 years.
Reality
The declaration lands three days after OpenAI's Navier-Stokes claim, in the middle of a credit dispute where the company and the mathematician at the center give accounts that cannot both be right.
Reality
A Caltech open letter says research mathematicians end up verifying and correcting what AI companies announce, without pay or credit. OpenAI's sponsorship was $1m in credits, and it took them back.
Reality
Build · September 12, 2026 · Confirmed3 publishers
Product · September 9, 2026 · Confirmed2 publishers