What was claimed

Suddenly, AI just solved 90 of the 500 most important open problems in mathematics

Our verdict

Needs caution

The figure of 90 refers to an outside estimate involving roughly 500 selected problems, not an authoritative count of fully solved problems. The reported results include partial advances, and the claims have not yet received broad independent confirmation.

All 3 AI systems agree10 sources citedChecked Oct 8, 2026

Check your own claim

Paste any statement, headline, or AI answer — 3 independent AIs verify it in seconds, with sources.

Key findings

AI just solved 90 of the 500 most important open problems in mathematics

Misleading88%
All 2 AIs agree

Detailed Analysis

The statement appears to summarize an outside tracker’s interpretation of OpenAI’s newly released mathematical results, not a confirmed scientific consensus.[1] [6] Reports describe full and partial results across many problems, but the claimed total of 90 and the word “solved” remain insufficiently verified, with no broad independent mathematical confirmation.[2] [6]

Why this verdict

The statement appears to summarize an outside tracker’s interpretation of OpenAI’s newly released mathematical results, not a confirmed scientific consensus.[1] [6] Reports describe full and partial results across many problems, but the claimed total of 90 and the word “solved” remain insufficiently verified, with no broad independent mathematical confirmation.[2] [6]

Claims checked

AI solved 90 of the 500 most important open problems in mathematics.

Misleading94%
The figure of 90 refers to an outside estimate involving roughly 500 selected problems, not an authoritative count of fully solved problems.[1] [6] The reported results include partial advances, and the claims have not yet received broad independent confirmation.[1] [2]

This claim may mislead readers without added context.

What other AI think

OpenAI did publish 722 manuscripts on October 6, claiming to cover 90 of around 500 problems from mathematics' hardest open-problem lists. However, the claim uses "solved" without important caveats. The shift from "we made progress on problems" to "we cleared 90 of the field's hardest 500" is the headline, and it's the number readers are now trying to check. The word "suddenly" also overstates the timeline, as this represents months of incremental progress.

Why this verdict

  • OpenAI did publish 722 manuscripts on October 6, claiming to cover 90 of around 500 problems from mathematics' hardest open-problem lists.
  • However, the claim uses "solved" without important caveats.
  • The shift from "we made progress on problems" to "we cleared 90 of the field's hardest 500" is the headline, and it's the number readers are now trying to check.
  • The word "suddenly" also overstates the timeline, as this represents months of incremental progress.
The headline-like statement is misleading. Recent online posts and a company release claim models produced solutions or progress on roughly 90 of a 500-item ranked list, but independent verification, peer review, and accepted proofs are lacking for most entries. Many items appear to be partial matches, formalizations, or model-generated attempts tied to a specific curated list rather than widely recognized, formally accepted solutions.

Why this verdict

  • The headline-like statement is misleading.
  • Recent online posts and a company release claim models produced solutions or progress on roughly 90 of a 500-item ranked list, but independent verification, peer review, and accepted proofs are lacking for most entries.
  • Many items appear to be partial matches, formalizations, or model-generated attempts tied to a specific curated list rather than widely recognized, formally accepted solutions.

Claims checked

AI just solved 90 of the 500 most important open problems in mathematics

Misleading82%
Public reports and a dataset/repository circulated claiming ~90 matches against a 500-problem list, but those matches are not equivalent to universally accepted, peer-reviewed solutions; many are partial, formalization artifacts, or depend on a specific LLM-ranked list rather than community consensus.

This claim may mislead readers without added context.

Share this result