How it developed
16 October 2026The $15 million Simons Foundation initiative, backed on October 15 by OpenAI and Anthropic, will include shared standards for checking AI-assisted mathematical results.
Hugo Duminil-Copin, whose area covers 16 of the 722 manuscripts OpenAI released in September, reported he cried the night of the release and it woke up his daughter. An October 7 analysis by Zvi Mowshowitz argued that OpenAI's Navier-Stokes resolution effectively reached the milestone of a Nobel Prize-worthy AI discovery, predicted at a prior conference for around 2032.
15 October 2026On October 15, OpenAI and Anthropic announced backing for a $15 million Simons Foundation initiative to fund workshops, conferences, and researcher access to models and computing resources, with each contributing $5 million, Anthropic's share specified as including compute and Claude access.
On the same day, Fields medalist Hugo Duminil-Copin said OpenAI's release of 722 AI-generated mathematics manuscripts had "annihilated" his field of research, with 16 of those papers directly targeting his own area.
14 October 2026Johns Hopkins professor Matthew Green on October 14 put a 15% probability on AI eroding confidence in public key encryption, following OpenAI's October 6 release of 722 AI-generated mathematics manuscripts.
Green added that most internet security relies on a small set of elliptic curve algorithms, with X25519 alone securing most connections, and that a break in two of them would hit a large share of encrypted traffic, with fallback options less studied and potentially weaker.
12 October 2026OpenAI retracted three of the 722 AI-generated mathematics manuscripts released October 6 due to a sign error and issued 14 revisions, leaving researchers sorting out which of their own projects had been preempted by the AI-generated work.
Of the papers, 42% now have Lean-verified proofs holding up, including five of the nine headline results, while 58% remain largely unvetted by the community.
11 October 2026At a Caltech 'Math 2.0' lecture on October 11, Terence Tao argued that blind AI optimization of problem-solving 'is now actively harmful to the long-term health of mathematics,' sharpening his stance on OpenAI's October 6 release of 722 AI-generated manuscripts covering 372 open problems.
Northwestern professor Antonio Auffinger reported that some students are now questioning whether to remain in mathematics at all, saying his priority has shifted to retaining talented people in the field. Cryptographer Matthew Green placed a 15% probability on AI causing a functional loss of confidence in existing public-key encryption algorithms.
10 October 2026Security researchers warned on October 9 that OpenAI's October 6 mathematics release may endanger public-key cryptography: the release contains no abstracts touching cryptography, yet Matthew Green stated 'I think we might lose public key cryptography' and Vitalik Buterin recommended multiplying key sizes by 10 for structured schemes.
AGMAI stated the release violated its request that labs not test hard problems on private models. NYU professor Tristan Buckmaster said on October 10 he withholds original ideas from AI tools, citing finite PhD and postdoc windows.
9 October 2026OpenAI withdrew portions of its release of 722 mathematics manuscripts within two days of their October 6 publication.
A paper published October 8 showed AI-assisted Lean verification is structurally unreliable: chatbots can silently correct errors while producing a passing Lean check, and faithful translation into Lean is provably harder than the Halting problem. Terence Tao said at a Caltech summit that the results are 'not actually creating any value', and the Association for Human Mathematics called on mathematicians to boycott OpenAI.
8 October 2026Separate team improves OpenAI's integer multiplication result by roughly 500,000-fold within hours of release
7 October 2026OpenAI on October 6 published 722 manuscripts covering 372 results from the model that claimed a Navier-Stokes blowup proof on September 8, formalized in Lean on GitHub and developed in consultation with AGMAI, an unpaid advisory body at the Institute for Advanced Study with no decision-making power at AI companies.
The highlighted result is a theoretical matrix multiplication upper bound of roughly n^2.25, improving on AlphaEvolve's August record of roughly n^2.371177, though not applicable to real GPU workloads. OpenAI had separately stated on September 21 that the same model resolved more than 100 long-standing open problems across most branches of mathematics.
A reviewer at The Curve assessed that AI achieving a Nobel Prize-equivalent scientific discovery, forecast at a prior conference for around 2032, was already met in 2026, citing a math professor's remark that a human producing OpenAI's October 6 batch of 722 mathematical manuscripts would be an instant Fields Medal, no questions asked, alongside OpenAI's September 8 claimed Navier-Stokes proof.
The Clay Mathematics Institute has not accepted that proof and still lists Navier-Stokes as unsolved.
First in the edition · 7 October 2026
2 October 2026Meta AI reported six research papers on previously unsolved mathematical problems produced using Muse Spark 1.1 and 1.2
1 October 2026OpenAI announced September 8 that a swarm of roughly 10,000 agents running 88 hours produced a Lean-verified proof targeting a finite-time singularity in the 3D Navier-Stokes equations, a Clay Millennium Prize Problem; independent verification is expected to take weeks to months and the Clay Institute has not issued a statement.
Anthropic published September 25 that physicists Liam Fitzpatrick and Siddharth Mishra-Sharma used Claude to compute N=4 super Yang-Mills scattering at nine loops, surpassing Lance Dixon's eight-loop record from 2023; Dixon of SLAC independently validated the result.
30 September 2026GPT-6 Astra used to identify new families of plasma equilibria in fusion mathematics
25 September 2026Anthropic published a report that its physicists used Claude to compute the nine-loop Yang-Mills amplitude, answering von Hippel's challenge; Lance Dixon independently validated the result
22 September 2026Harvard professor Wood joins Advisory Group on Mathematics and Artificial Intelligence at IAS Princeton
21 September 2026OpenAI announces model resolved Navier-Stokes and 100+ open math problems
11 September 2026Lean 4 formal proof aspect of Navier-Stokes announcement identified as consequential 2026 trend
9 September 2026A mathematical objection entered the record: critics say OpenAI's September 8 claimed Navier-Stokes blowup proof uses a smooth external force formulation most mathematicians exclude from the real problem, and the Clay Institute still lists it unsolved.
OpenAI's figures put the run at 4.9 million messages and 300 billion tokens across all Millennium Prize attempts. NYU professor Buckmaster, who had worked the same approach via Codex for about a year, was offered compute resources rather than priority acknowledgment.
8 September 2026OpenAI announced a claimed Navier-Stokes finite-time singularity proof using about 10,000 agents over 88 hours