Rumors claim OpenAI nears verifying a proof of the Hodge conjecture

On September 10, an unverified anonymous claim spread widely on X: OpenAI is very close to verifying a proof of the Hodge conjecture, and either OpenAI or Anthropic may also be nearing a solution to the Birch–Swinnerton-Dyer conjecture. Both the Hodge and BSD conjectures are among the Clay Mathematics Institute's seven Millennium Prize Problems, each carrying a $1 million prize and having puzzled mathematicians for decades. If true, it would mean AI has achieved a historic breakthrough on foundational pure mathematics problems.

Confirmed

• The spread of the rumor itself is real: on September 10, multiple users including @kimmonismus, @DrSingularity, and @zephyrz9 shared or compiled the same source, and @basedjensen reposted synthwavedd's related post
• @DrSingularity summarized the status of the seven problems in their post: only the Poincaré conjecture has been proven, by Perelman
• Several posters (e.g., @zephyrz9) explicitly acknowledged the claims are unverified

Unconfirmed

• The source of the claim that "OpenAI is close to verifying a proof of the Hodge conjecture" is unknown; it is an anonymous leak with no official OpenAI statement or independent mathematician corroboration
• The claim that "OpenAI or Anthropic is close to solving the BSD conjecture" likewise has no corroboration, and even which company is involved is unclear
• @DrSingularity's statement that "Navier–Stokes has already been solved by OpenAI" is also unverified, with no prior reliable reporting on it

Why it matters

• The Hodge and BSD conjectures are core problems in algebraic geometry and number theory; if AI helps crack them, it would be a landmark event for AI-assisted mathematical research and could trigger a repricing of AI's research capabilities
• The rumor itself reflects how sensitive markets and communities are to the "AI solves math problems" narrative; @zephyrz9 noted that if true, three Millennium problems could fall within a month, so beware of claims getting amplified as they spread
• Until official or verifiable sources emerge, this rumor should be treated as pure hype

2026-09-10 ~ 2026-09-10 · 5 related posts

• [source] Rumors claim OpenAI may have solved the Hodge conjecture — Dr_Singularity · 2026-09-10
• [source] Rumour: OpenAI close to verifying Hodge Conjecture; a Millennium Problem could fall monthly — zephyr_z9 · 2026-09-10
• [source] Rumors swirl that OpenAI is close to verifying a proof of the Hodge conjecture — kimmonismus · 2026-09-10

2 near-duplicate retellings: kimmonismus · basedjensen