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 publishers
- Builder
- Builder 34%
- Operator
- Operator 27%
- Investor
- Investor 39%
Reality
- Evidence55
- Adoption
- Not scored
- Hype gap+35
- Incentives75
- Confidence50
buildConfirmed8 publishers 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 publishers
- Builder
- Builder 41%
- Operator
- Operator 30%
- Investor
- Investor 29%
Reality
- Evidence50
- Adoption
- Not scored
- Hype gap+40
- Incentives70
- Confidence60
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
- Evidence45
- Adoption
- Not scored
- Hype gap+55
- Incentives70
- Confidence50
OpenAI's 10,000 agents propose a Navier-Stokes blowup that needs an external force
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
- Evidence35
- Adoption
- Not scored
- Hype gap+30
- Incentives70
- Confidence40
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 publishers
- Builder
- Builder 46%
- Operator
- Operator 33%
- Investor
- Investor 21%
Reality
- Evidence60
- Adoption
- Not scored
- Hype gap+40
- Incentives70
- Confidence58
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 publishers
- Builder
- Builder 36%
- Operator
- Operator 33%
- Investor
- Investor 31%
Reality
- Evidence55
- Adoption
- Not scored
- Hype gap+45
- Incentives70
- Confidence60
OpenAI asks nine unpaid mathematicians how to release its 100-plus math results
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
- Evidence45
- Adoption40
- Hype gap+35
- Incentives70
- Confidence45
Buckmaster is using OpenAI's Codex to reconstruct how OpenAI's agents beat him to Navier-Stokes
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
- Evidence58
- Adoption45
- Hype gap+18
- Incentives72
- Confidence55
OpenAI takes back $1m of Mathathon credits on the day 771 mathematicians publish their letter
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
- Evidence62
- Adoption58
- Hype gap+14
- Incentives74
- Confidence60
OpenAI denies reading two mathematicians' Codex logs before racing them to Navier-Stokes
Tristan Buckmaster says OpenAI accelerated onto Navier-Stokes after learning of his work with Anthropic's Levent Alpoge, and that the answer he got about his prompt history addressed lookup rather than training.
Reality
- Evidence40
- Adoption30
- Hype gap+45
- Incentives88
- Confidence50
OpenAI now calls it impossible that a Codex user's prompts reached its model
Tristan Buckmaster used OpenAI's Codex on the Navier-Stokes problem, then asked whether his prompts had fed the system that beat him to a proof, and the company's answer to The Verge got firmer over time.
Reality
- Evidence60
- Adoption18
- Hype gap+30
- Incentives82
- Confidence55
A twelve-year prime-gap record changed hands three times inside four days
Julia Stadlmann's cut to the small prime-gap bound was the first in twelve years, and a rumor pushed her to post it in August. Axiom Math and OpenAI both went lower before the preprint was four days old.
Reality
- Evidence62
- Adoption45
- Hype gap+20
- Incentives80
- Confidence55
Andreas Thom wants OpenAI to prove his ChatGPT sessions stayed out of the training data
OpenAI says no specific user data was accessed to solve the problems it announced, while declining to rule out that de-identified usage data improved its models. For anyone holding unpublished work, that gap is the entire policy question.
Reality
- Evidence58
- Adoption
- Not scored
- Hype gap+18
- Incentives74
- Confidence55
OpenAI's 88-hour Navier-Stokes run burned roughly 880,000 agent-hours
OpenAI says the run took 88 hours and cost millions, which tells a small research group more about whether it can compete than the proof itself does, and its wording on user data shows the limit of what any vendor can promise.
Reality
- Evidence55
- Adoption
- Not scored
- Hype gap+40
- Incentives78
- Confidence54
OpenAI spent more than $1m of compute on a prize it says it will not claim
The Navier-Stokes result cost more in compute than the Clay Institute's award, and the interesting line in OpenAI's blog post is the one conceding it cannot rule out that customers' de-identified prompts helped.
Reality
- Evidence32
- Adoption14
- Hype gap+34
- Incentives74
- Confidence44
A mathematician kept a year of unpublished drafts in Codex, then asked whether they had been used for training and got silence on that half of the question, which is the half every enterprise rollout treats as settled.
Reality
- Evidence52
- Adoption30
- Hype gap+32
- Incentives78
- Confidence60
Mathematicians set the verification bar for AI proofs by shipping the Lean file
OpenAI says roughly 10,000 agents produced a Navier-Stokes singularity proof in about 88 hours, but the only proofs an outsider can run belong to two mathematicians who posted Lean formalisations with their preprints.
Reality
- Evidence42
- Adoption22
- Hype gap+45
- Incentives78
- Confidence52