Person
Fields Medal-winning UCLA mathematician known for work in analysis and number theory, and an advocate for formal proof tools like Lean.
Theoretical computer scientists co-led by Princeton's Pravesh Kothari used two AI models to narrow the bounds of the Grothendieck constant. The preprint is not yet peer reviewed, and its authors say the models are weaker at judging a result's significance.
Reality
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 publishersReality
Fields medallist Shing-Tung Yau launched an alliance of eight research institutions to link about 1,000 researchers on AI for mathematics. Output would show whether it works: a specialised model, or conjectures and formalised proofs others can check.
Perspective Coverage
3 publishersReality
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 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 publishersReality
OpenAI released hundreds of results on open problems in math and theoretical computer science, many already verified in the Lean programming language. Those are all but certain to be correct, so the months of reading ahead are about whether they hold new ideas.
Perspective Coverage
5 publishersReality
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 publishersReality
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
Mathematicians in a group chaired by Terence Tao are urging a boycott of OpenAI after it released more than 700 AI-generated proof files at once. At issue is whether a problem counts as solved before a human has checked and understood its proof, and who does that work.
Reality
OpenAI posted 372 results from an internal model to GitHub, at about three hours of ChatGPT Pro compute each on average. Finding proofs is now cheap enough that the slow step is mathematicians checking and judging them.
Perspective Coverage
6 publishersReality
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
arXiv now limits each submitter to two papers a month after September submissions reached 40,363, up 51% on a year earlier. Mathematicians blame AI-generated papers and say moderation has fallen behind.
Reality
OpenAI's louder announcement of a nine-member independent math advisory group caused widespread confusion over whether the company had appointed it. Its first job is helping release scores more results from an unreleased OpenAI model, a wave researchers already dread.
Reality
Scientific American's account from the mathematicians' congress in Philadelphia has a Fields medalist quitting for OpenAI and a Millennium Prize problem falling to an opaque mix of models, with no verification trail reported for either.
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 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
Azeem Azhar counted the raised hands himself, in a self-selected room of 250 IT executives at a Las Vegas conference. Every firm in it told him AI spending rises next year. Budgets have to answer for that.
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