AI Claims Progress on 90 of 500 Top Open Math Problems, Including Partial Riemann Hypothesis
markjeffrey · x · 2026-10-07
A roundup circulating on X claims AI has now addressed 90 of the 500 most important open problems in mathematics. Among the highlights:
- Partial results (PARTIAL) on the Riemann Hypothesis (#2), Hodge Conjecture (#4), Birch and Swinnerton-Dyer Conjecture (#5), the generalized Riemann Hypothesis for Dirichlet L-functions, the Tate Conjecture, and the claim that the matrix-multiplication exponent equals two
- Full claims on Hilbert's Tenth Problem over the Rationals (#22) and the Unique Games Conjecture (#29)
Most entries are partial results rather than complete proofs, and formal verification or peer review status remains unclear. Still, the concentration of progress on flagship open problems is striking — Sequoia's Shaun Maguire called it "genuinely remarkable."
Related event: OpenAI Open-Sources 722 AI-Generated Mathematical Results(64 posts)→
More from AGI Musings
- Three types of people vibe coding SaaS clones: nerds, broke devs, and paid shills — kylegawley · 2026-10-07
- Neuroscientist Zador: Give AI Agents Real Fears Instead of Just Telling Them Not to Be Naughty — TonyZador · 2026-10-07
- If Users Can Tell You're Cheating with AI, Maybe You Don't Love the Domain — brandon_xyzw · 2026-10-07
- Photoshop decompiled and reimplemented in Rust via LLM, sparking closed-source moat debate — JosephJacks_ · 2026-10-07
- Beff Jezos quips: human civilization is a hierarchy of meat proxies for the Kardashev scale — beffjezos · 2026-10-07
- BLUECOW009's chain of optimism: solve math, then energy, then the environment, then poverty — BLUECOW009 · 2026-10-07