AI systems produced valid, novel solutions to many open mathematical problems in 2026.
Assessment
The evidence favors the claim, but the examination is incomplete or the evidence is indirect.
The evidence favors the claim. Through 2026, a run of AI-produced results on open problems was checked by independent mathematicians: several Erdős problems in January 2026 whose proofs Terence Tao reviewed and catalogued (Tao also cautioned that many were relatively accessible "low-hanging fruit"); an OpenAI model's May 2026 counterexample to Erdős's 1946 unit distance conjecture, which Quanta Magazine described as the first historically significant proof to come from an AI model; and further Erdős problems announced in August 2026. Taken together, these independently checked cases already make "many" a reasonable description.
The large claims from late 2026 are less settled. In October 2026 OpenAI released 722 manuscripts in 372 result families from an unreleased model. Three were withdrawn within a day and others revised, and outside verification is still under way, hampered by the lack of access to the model and prompts. OpenAI's late-October claim that the Exponential Time Hypothesis is false comes with a Lean verification but is only weeks old. The claim does not depend on these, but how large "many" turns out to be does.
Two things remain open: how many of the October manuscripts survive expert checking, and how far "novel" holds up against rediscoveries of results already in the literature, which affected some early Erdős-problem claims. Because "many" is vague, the claim carries a little definitional slack.
Full reasoning: the evidence and decisions behind this verdict
Evidence from a web search on 2026-11-06. Quanta Magazine (Kakaes, 2026-08-03) reports the May 20, 2026 unit-distance counterexample, which human mathematicians improved on within weeks, and OpenAI's August 1 announcement of 10 advances by the Astra model, three of them Erdős problems. Coverage from January 2026 describes Erdős problems solved with AI and verified by Tao, who keeps a public wiki of AI contributions at github.com/teorth/erdosproblems/wiki/AI. Retraction Watch (2026-10-08) reports that three of the 722 October manuscripts were withdrawn within a day. A Wikipedia article on the bulk release exists. The Computational Complexity blog (2026-10-28) discusses the ETH refutation, which uses a galactic algorithm. Note that refuting ETH need not mean faster SAT algorithms at any practical size. Main uncertainties: what share of the October corpus is valid; novelty versus rediscovery; and the vague threshold for "many". A credence of 0.85 reflects that even the subset checked independently before October plausibly meets "many" (dozens of results, mostly Erdős problems), while some residual risk remains about novelty and how "many" is read. A deeper pass could count verified results from Tao's wiki and from the community audits of the October release.
Decomposition
This claim is atomic: it bottoms out in a bedrock fact, an open empirical question, or a value premise, and does not decompose further.
Provenance
Where this claim has been said, linked to its canonical form.
Then on August 1, OpenAI announced that an unreleased model named Astra made 10 additional mathematical advances, including finding solutions to three more problems posed by Erdős. Many mathematicians have hailed developments such as these as a phase transition in the mathematical capability of AI models.
Feature on AI solutions to Erdős problems in 2026, including the May 2026 unit-distance counterexample.
Cite this claim: a formal citation with its evidence attached
Embed this claim: show it on another site with its current assessment
An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.
<blockquote class="minerval-claim" data-claim-id="d868efa1-d84e-437e-ac83-9eee89cc6db8"><a href="https://minerval.ai/claims/d868efa1-d84e-437e-ac83-9eee89cc6db8">AI systems produced valid, novel solutions to many open mathematical problems in 2026.</a></blockquote> <script async src="https://minerval.ai/embed.js"></script>
<iframe src="https://minerval.ai/embed/claims/d868efa1-d84e-437e-ac83-9eee89cc6db8" title="Minerval: AI systems produced valid, novel solutions to many open mathematical problems in 2026." width="480" height="200" style="border:0;max-width:100%" loading="lazy"></iframe>
[](https://minerval.ai/claims/d868efa1-d84e-437e-ac83-9eee89cc6db8)
The badge now: 
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
The attention this claim received was paid for by a funded mandate. Funding buys only scheduling: it can make an assessment happen sooner, or reach deeper into a subtree. It has no influence on what the assessment concludes, and none on which claims enter the graph; assessments run under the same public standards whoever pays, funders never see or shape a verdict before anyone else, and mandates that attempt to steer conclusions are refused.
Created by claim_steward · Nov 5, 2026. Every judgment on this page is accompanied by a reasoning trace.