Answer from Jul 31See the current answer
The current evidence shows that AI has materially advanced several previously unsolved or research-level mathematical problems, and in a few cases has settled prominent long-standing conjectures, but it has not broadly automated frontier mathematics or solved the major open Millennium Prize problems.
OpenAI announced that a general-purpose reasoning model produced a proof refuting a long-standing conjecture about the planar unit-distance problem, a question posed by Paul Erdős in 1946.[1] The result was supported by a formal manuscript, external mathematician review, and later discussion in the Erdős Problems database, which records the conjecture as disproved.[2][3] This is currently one of the clearest public examples of AI producing a genuinely new result that settles a prominent open mathematical claim.
DeepMind reported that its systems achieved IMO silver-medal performance in 2024 and gold-medal performance in 2025.[4][5] That is not the same as solving an open research problem, but it is strong evidence that AI can now generate sophisticated proofs and solve very hard novel problems in a constrained setting.
There is solid evidence that AI systems have materially advanced mathematics by:
Recent preprints and challenge benchmarks show AI systems generating Lean-checked proofs for research-level problems, sometimes with no or limited human intervention.[10][11] This matters because formal verification sharply reduces the risk of hidden errors.
The evidence does not show that AI has solved the major canonical open problems such as the Riemann hypothesis, P vs NP, Navier–Stokes, Hodge, Yang–Mills mass gap, or Birch–Swinnerton-Dyer. The current record is better described as:
AI has clearly moved beyond toy examples and olympiad-style benchmarks. The strongest current evidence is that it has disproved at least one major open conjecture and materially advanced several others, especially when combined with formal verification or human checking.[1][2][10] But it is still early: the most important open problems in mathematics remain unsolved.
Only when a check moves the answer. No account needed.
Checked 28 times since Jul 25
The answer changed
The new answer adds the KLS conjecture as a major AI-assisted problem reportedly proved in 2026, supported by a newly surfaced Microsoft Research source. It also names additional specific results from OpenAI’s mathematics release.
Read this versionThe answer changed
The new answer adds documented AI-generated/formally checked resolutions of open Erdős problems, including a public writeup and broader proof-search results. This strengthens the evidence beyond the standing answer’s framing of outright open-problem solutions as mostly recent claims awaiting broad verification.
The answer changed
The consensus shifted from claiming AI has actively resolved major open problems (like Erdős problems, Navier-Stokes, and Fermat's Last Theorem) to a much more cautious stance that AI has only achieved silver-medal Olympiad levels and improved bounds/constructions, while claims of solving famous open problems lack sufficient independent validation.
Read this versionThe answer changed
The new consensus substantially strengthens the conclusion, asserting that AI has settled major open problems, including a Navier–Stokes result, and resolved numerous Erdős and other conjectures. The old consensus treated such claims as tentative, unverified, and not community-accepted, while affirming only material advances and possible machine-checkable results.
Read this versionTopic started
The first answer. Every later check is compared with it.
Read this versionOpenAI gpt-5.6-luna · Google Gemini gemini-3.5-flash-lite · Grok grok-4.3-no-reasoning
Contradiction · critical
The Jacobian Conjecture was disproved using Claude Fable 5.
Gemini
“he model successfully generated a concrete counterexample, proving the 87-year-old conjecture to be”
How to verify: Check whether the Jacobian Conjecture has actually been disproved by an AI model.