As of August 2026, there is credible evidence that AI has materially advanced previously unsolved mathematics, and in a few cases appears to have solved specific open problems. The strongest evidence comes from primary announcements with formal artifacts, external mathematician review, and machine-checkable proofs.[1][2][4]
What the evidence currently supports
1) A real open problem was apparently disproved by AI
The clearest case is 
OpenAI’s announcement that an internal reasoning model produced a counterexample to the Erdős unit-distance conjecture (a long-open discrete-geometry problem). 
OpenAI says the result was checked by external mathematicians and accompanied by a human-written companion paper.[1] If that result holds up in the normal mathematical sense, it is genuine evidence that AI can do more than solve toy problems.
2) AI systems have produced formally verified proofs of open problems
There are also reports of AI systems working with Lean or similar theorem provers to generate machine-checkable proofs of previously open Erdős-style problems and related conjectures.[2][4] This matters because formal verification reduces the risk of hidden reasoning errors.
3) AI has materially advanced several open problems without fully solving them
Even where the final theorem is not a complete resolution, AI has produced:
- new constructions
- improved bounds
- counterexamples to conjectures
- new algorithmic parameters
- and in some cases research-level proof contributions.[2][4]
That kind of progress is mathematically meaningful, even if it is not a full solution.
What is most important to keep in mind
The evidence is strongest in areas where results can be checked automatically or where one counterexample settles the issue, such as combinatorics, discrete geometry, graph theory, and some algebraic or optimization problems.[2][4]
It is not evidence that AI has solved the hardest remaining prize problems, such as the Riemann hypothesis or Navier–Stokes. Those remain open, and current successes do not show that AI can reliably handle arbitrary deep mathematical research end to end.
Best current bottom line
The current state of evidence is:
- Yes: AI has materially advanced previously unsolved mathematical problems, in some cases substantially.
- Probably yes, in a few cases: AI has actually solved or refuted specific open problems, with the OpenAI unit-distance result being the most prominent example.[1]
- No, not yet: there is no solid evidence that AI can reliably solve major open mathematics across the board.
