Mathematics
1 gain1 Trace2 problems
Every measured gain and problem on the record for this topic, newest first.Too few to weigh yet. Updated .
One square per record, darker for stronger evidence:Evidence: 0 high2 moderate2 emerging
4 records so far, too few to weigh yet. Is your study missing? Add it
AI in mathematics
A Trace is one record with both a gain and a problem, so it counts on both sides: 2 records show a gain and 3 show a problem. 1 context record is in the record list but not counted, because it reports no measured gain or problem.
| Evidence | Gain side | Problem side |
|---|---|---|
| HighStrong study design, backed by at least two independent sources | 0 | 0 |
| ModerateA measured study or an official source | 1 | 2 |
| EmergingEarly, small, unreviewed or reported second-hand | 1 | 1 |
By type of evidence: 2 investigations by reporters; 1 news report; 1 commentary or narrative review. How evidence is scored
4 records so far, too few to weigh yet. A written summary appears once a topic has at least 20 counted records, with at least 5 on each side. Is your study missing? Add it
OpenAI says about 10,000 AI agents produced a Navier-Stokes proof in 88 hours, checked in about 17 hours, but no independent mathematicians or the Clay Institute have accepted it.
A Cambridge mathematician reports that OpenAI's Astra solved the existence of non-sofic groups, a key group theory problem, using a slight twist on theorems by Gabor Kun and Andreas Thom.
The Institute for Advanced Study said AI can now produce mathematical arguments that the prompting human cannot understand, verify or take responsibility for, and asked labs to give the global mathematics community equitable access.
Mathematician Tristan Buckmaster says his in-progress work was stored in OpenAI's Codex and may have been visible to OpenAI, which denies using it but cannot rule out that usage data improved its models.
Mathematicians said OpenAI's claimed result leaves paper-based hiring and undergraduate take-home problems at risk, and one professor warned of environmental damage.
5 records
OpenAI published more than 370 new mathematical results spanning algebra, theoretical computer science and mathematical logic. The article also reports that the company had solved the Navier-Stokes problem the month before.
The Guardian
On 12 September 2026 The Guardian reported that OpenAI claimed its latest AI model had solved a Millennium Prize Problem, deploying about 10,000 autonomous agents at an estimated $15m cost, an achievement that followed…
On 8 September 2026, OpenAI claimed its internal AI system, described as more powerful than GPT-6 Astra, solved the Navier-Stokes Millennium Prize Problem using about 10,000 autonomous agents working for 88 hours, with…
In a Guardian letter dated 27 August 2026, a Cambridge mathematician reports that OpenAI's Astra model solved the existence of non-sofic groups, a key problem in group theory, using a slight twist on theorems by Gabor…
As of January 2026, this peer-reviewed review surveys Large Language Models applied to mathematics in both natural-style language and formal symbolic syntax suitable for automatic verification.
ace