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.
1 record
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 Kun and Andreas Thom.
The Guardian
ace