All Seven Millennium Prize Problems See Breakthrough Claims, Several Driven by AI Labs
haider1 · x · 2026-10-28
A roundup of recent advances across all seven Millennium Prize Problems: P vs NP (ETH disproved, UGC proof announced), Riemann Hypothesis (quasi-RH proved and formalized, Landau–Siegel zeros excluded), Yang–Mills (existence proof announced and formalized), Navier–Stokes (counterexample announced and formalized), Hodge Conjecture (partial proof for CM-type abelian varieties), Birch–Swinnerton-Dyer (full formula for Selmer coranks 0 and 1), and Poincaré (solved by Perelman in 2003).
An accompanying chart attributes several of these claims to AI labs, with OpenAI and Anthropic leading — suggesting recent math breakthroughs are increasingly tied to AI research. Most claims await peer review.
More from Research
- DiscoTrace wins EMNLP 2026 Best Paper: LLM answers lack humans' community-specific rhetorical diversity — TuhinChakr · 2026-10-28
- New arXiv paper frames world model representation as reachability, admission, assignment — SoloGen · 2026-10-28
- OpenAI shares internal frontier model math results, Terence Tao responds in meme'd thread — krisspy39 · 2026-10-28
- Divergence Labs and Anthropic use Claude to discover antibody therapy for food allergy — anshulkundaje · 2026-10-28
- kalomaze: RLVR over symbolic probabilistic programs still counts as GOFAI — kalomaze · 2026-10-28
- Asymptotic calibration possible for decidable statements, but not Pi_n generally — xuanalogue · 2026-10-28