person
Fields Medal-winning UCLA mathematician known for work in analysis and number theory, and an advocate for formal proof tools like Lean.
No evidence-backed relationships are recorded.
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
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
9 publishersReality
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
Their joint statement argues that famous open problems were only ever a proxy for understanding, and that benchmarks miss the years of talks and simplifications that follow a proof.
Perspective Coverage
3 publishersReality
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
Terence Tao's new registry answers the flood of AI-generated proofs with an audit trail rather than a verdict. Half its pipeline is deterministic; the other half is a language model.
Reality