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
- 'Half the sites I try via agents block access' — the anti-bot paradox holding back the agentic economy — XFreeze · 2026-10-27
- US chases AGI dominance while China, EU and ASEAN treat AI as public infrastructure — BubblyExtent1693 · 2026-10-27
- Lab monkeys at $30-80K each: a 4-year breeding cycle is the real preclinical drug bottleneck — zebird0 · 2026-10-27
- CJR: journalists should stop hyping AI's supposed humanity — just say 'rogue' — ShakeelHashim · 2026-10-27
- PhD applicant emails up 4x YoY due to AI — writing without AI now makes you stand out — AI4Code · 2026-10-27
- Weil's collapse shows BigLaw dies from eroding belief, not a broken business model — jkubicki · 2026-10-27