Rumors swirl that OpenAI nears verified proof of the Hodge conjecture
josh_wills · x · 2026-09-10
Unverified rumors are spreading that OpenAI is close to verifying a proof of the Hodge conjecture, and that OpenAI or Anthropic may be nearing a solution to the Birch–Swinnerton-Dyer conjecture — both Millennium Prize Problems that resisted decades of research.
- Verified AI-generated proofs would be historic, demonstrating AI's ability to produce genuinely novel scientific knowledge.
- Thom Wolf (NVIDIA/Modular) adds that a general theory explaining why all Hodge classes are algebraic would require a deep new bridge between topology/Hodge theory and algebraic geometry — not just 10,000 agents finding a counterexample.
- Status: rumor only, no official confirmation.
More from AGI Musings
- The simple accountability rule: AI labs should be fully liable for problems their systems cause — gerardsans · 2026-09-10
- Bryan Johnson responds to Michael Levin's peer-reviewed Platonic Space paper: bodies as collective intelligence — AllThingsApx · 2026-09-10
- Mathematicians Push Back Against AI Lab's 'Mathathon' Compute-Heavy Paper Scooping — _lewtun · 2026-09-10
- Professor: training a PhD takes 5 years, but AI iterates models every few months — DimitrisPapail · 2026-09-10
- Jack Clark proposes pre-registering AI economy forecasts to score predictors in a year — jackclarkSF · 2026-09-10
- Jack Clark: cross-walk the economy in a year against AI scenario communities' predictions — jackclarkSF · 2026-09-10