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
Mathematicians find OpenAI's Navier-Stokes proof takes a different route from the Spanish program
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
- Evidence55
- Adoption
- Not scored
- Hype gap+20
- Incentives55
- Confidence55
OpenAI published 372 families of math results from an unreleased model on Oct. 6, more than mathematicians have yet been able to check or understand. Each claim now waits on human readers, who must work without the prompts OpenAI chose not to publish.
Perspective Coverage
3 publishers
- Builder
- Builder 32%
- Operator
- Operator 38%
- Investor
- Investor 30%
Reality
- Evidence50
- Adoption
- Not scored
- Hype gap+45
- 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
OpenAI released 719 manuscripts of claimed solutions to hard math problems this week and included the model's chain of thought for only ten of them. The advisory group of mathematicians OpenAI consulted had set verification standards the lab's release misses on several counts.
Perspective Coverage
3 publishers
- Builder
- Builder 44%
- Operator
- Operator 38%
- Investor
- Investor 18%
Reality
- Evidence58
- Adoption
- Not scored
- Hype gap+40
- Incentives55
- Confidence60
buildOne report1 publisher Researchers curb unpublished uploads to AI models after two discovery disputes
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
- Evidence40
- Adoption
- Not scored
- Hype gap+10
- Incentives
- Not scored
- Confidence45
OpenAI published 722 math manuscripts across 372 result families, all produced by an internal model it has not released. About 300 come with Lean formalizations a machine can check, Crypto Briefing reported, so the rest wait on human reviewers whom one mathematicians' group is urging to stop working with OpenAI.
Perspective Coverage
3 publishers
- Builder
- Builder 30%
- Operator
- Operator 47%
- Investor
- Investor 23%
Reality
- Evidence55
- Adoption20
- Hype gap+35
- Incentives65
- Confidence55
OpenAI posts 719 math papers from an unreleased model a week after its advisers asked labs to stop
OpenAI posted 719 math papers from an unreleased model on October 6, a week after its IAS-based advisers asked labs to stop such testing. Three mathematicians showed the same day that its machine-checked Navier-Stokes proof proves less than the paper claims, so its results now rest on ordinary peer review.
Reality
- Evidence45
- Adoption
- Not scored
- Hype gap+30
- Incentives60
- Confidence40
Scientists wary of AI scoops rein in their use of commercial chatbots
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
- Evidence40
- Adoption
- Not scored
- Hype gap+25
- Incentives60
- Confidence45
OpenAI posted 722 model-written math manuscripts in 372 families on GitHub, many with Lean proofs a computer can check. A mathematician citing one has to learn first whether it is a checked proof or a paper still waiting for review.
Perspective Coverage
10 publishers
- Builder
- Builder 40%
- Operator
- Operator 27%
- Investor
- Investor 33%
Reality
- Evidence55
- Adoption
- Not scored
- Hype gap+45
- Incentives70
- Confidence60
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
buildConfirmed3 publishers 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 publishers
- Builder
- Builder 52%
- Operator
- Operator 33%
- Investor
- Investor 15%
Reality
- Evidence60
- Adoption
- Not scored
- Hype gap+30
- Incentives70
- Confidence55
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
- Evidence55
- Adoption
- Not scored
- Hype gap+25
- Incentives65
- Confidence60
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
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