Claimempirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →importance · notableImportance 0.50, from 0 to 1 · notable: a contested point in a live debate (also the default before judging). Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

TopicsAI mathematical discovery Artificial intelligence Computational complexity theory

Current AI systems can reliably generate novel results in mathematics and theoretical computer science.

Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Decomposition

The claims this one rests on directly. ↗︎ opens a subclaim; the map shows how they fit together.

Basis

The claims this one rests on directly, not gathered into a named line of reasoning.

supportsthis provides evidence for the parentsteward instructions →AI systems produced valid, novel solutions to many open mathematical problems in 2026. ↗︎

See how these fit together on the map

or create a grant for this whole area →

Provenance

Where this claim has been said, linked to its canonical form.

2 sources · no origin · 2 untraced

2 Untraced

OpenAI says its AI models produced major proofs in mathematics, computer science and physicsOct 27, 2026 · mentions it Untraced · nothing upstream recorded

OpenAI withdraws three preprints a day after releasing 722 manuscripts on unsolved math problemsOct 8, 2026 · mentions it Untraced · nothing upstream recorded

originuntraced

Mentioned in

Sources that refer to the claim without taking a side: they cite it, report the debate, or raise it in passing.

Less than 24 hours after OpenAI posted over 700 preprints describing major math results by an internal AI model, the company has withdrawn three of the manuscripts for errors.

OpenAI withdraws three preprints a day after releasing 722 manuscripts on unsolved math problemsmentionsextraction 1.00

Reports the withdrawal of three of 722 AI-generated manuscripts over a sign error and revision of 14 others; a Cornell mathematician expects more errors and suggests Lean-verified results should have been announced first.

Nearly seven weeks after announcing an AI-generated proposed solution to the Navier–Stokes problem, and three weeks after releasing hundreds of mathematical manuscripts, OpenAI said on Oct. 26 that its internal AI models have produced three more results addressing longstanding scientific questions.

OpenAI says its AI models produced major proofs in mathematics, computer science and physicsmentionsextraction 1.00

News report of OpenAI's and Anthropic's claimed AI-generated refutation of the Exponential Time Hypothesis (with Lean formalizations) and other claimed results; quotes UCSD and MIT researchers that their involvement is not certification.

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.

CardFits its column and sizes itself. Without the script it stays a quotation with its link.

<blockquote class="minerval-claim" data-claim-id="917cddce-aaac-4cf8-adb2-67cdc42b0086"><a href="https://minerval.ai/claims/917cddce-aaac-4cf8-adb2-67cdc42b0086">Current AI systems can reliably generate novel results in mathematics and theoretical computer science.</a></blockquote>
<script async src="https://minerval.ai/embed.js"></script>

IframeWhere scripts are not allowed. A fixed height; add ?theme=light or ?theme=dark to fix its colours.

<iframe src="https://minerval.ai/embed/claims/917cddce-aaac-4cf8-adb2-67cdc42b0086" title="Minerval: Current AI systems can reliably generate novel results in mathematics and theoretical com…" width="480" height="200" style="border:0;max-width:100%" loading="lazy"></iframe>

BadgeAn image for a README or a forum post, in Markdown.

[![Minerval's judgment of this claim](https://minerval.ai/embed/claims/917cddce-aaac-4cf8-adb2-67cdc42b0086/badge.svg)](https://minerval.ai/claims/917cddce-aaac-4cf8-adb2-67cdc42b0086)

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.

Created by curator · Nov 6, 2026. Every judgment on this page is accompanied by a reasoning trace.