OpenAI published full or partial solutions to more than 370 open math problems on Tuesday. The company says its unreleased model averaged about three hours of computing on each, according to Fortune, and mathematicians still dispute the results.
Perspective Coverage
7 publishers
- Builder
- Builder 35%
- Operator
- Operator 35%
- Investor
- Investor 30%
Reality
- Evidence45
- Adoption
- Not scored
- Hype gap+30
- Incentives65
- Confidence60
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
Three of the 722 mathematics papers OpenAI released on 7 October using an AI model have already been retracted. Their value now rests on checking by mathematicians, who have not yet had time to read them all, according to New Scientist.
Reality
- Evidence38
- Adoption
- Not scored
- Hype gap+30
- Incentives
- Not scored
- Confidence45
Lorraine mathematician confirms Claude's 67.25% bound on Riemann zeta zeros by another route
Youness Lamzouri has independently confirmed Claude's result that at least 67.25% of Riemann zeta zeros lie on the critical line, against 40% known since 1989. The hypothesis itself is still open. The case shows a working split for AI in mathematics, in which a model finds a candidate result and a specialist rebuilds it.
Reality
- Evidence58
- Adoption
- Not scored
- Hype gap+15
- Incentives40
- Confidence60
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
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 publishers
- Builder
- Builder 37%
- Operator
- Operator 40%
- Investor
- Investor 23%
Reality
- Evidence55
- Adoption35
- Hype gap+35
- Incentives70
- Confidence50
buildConfirmed2 publishers 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
- Evidence62
- Adoption60
- Hype gap+30
- Incentives68
- Confidence58
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
OpenAI puts a machine-checkable Lean proof of finite-time blowup in a public repo
OpenAI says the result resolves statement C of the official Millennium formulation, then says it will not claim the $1M prize. The smooth force applied to its fluid throughout is why that second sentence carries the weight.
Reality
- Evidence58
- Adoption20
- Hype gap+35
- Incentives72
- Confidence52