Rumour: OpenAI near verifying Hodge Conjecture, three Millennium Problems could fall in a month
josh_wills · x · 2026-09-11
- A rumour circulating claims OpenAI is very close to verifying the Hodge Conjecture, and that either OpenAI or Anthropic is close to solving Birch-Swinnerton-Dyer.
- If true, three Millennium Problems could fall within a month — though the rumour is unverified and the rumour mill is churning at unusual scale.
- Researcher Aran Nayebi: an AI proof of either via deep mathematics would meaningfully update his capability timelines and suggest the Riemann Hypothesis isn't far off; a massive counterexample instead would mean capabilities are where he expected.
Related event: Rumors: OpenAI Nears Hodge Conjecture Verification, Races Anthropic on BSD(19 posts)→
More from AGI Musings
- What do alignment researchers actually do all day? An X thread asks AI safety folks to explain — AaronBergman18 · 2026-09-11
- API resellers are an unstoppable gray market, argues virushuo on AI restrictions — tinyfool · 2026-09-11
- Qwen's Justin Lin: arch complexity hides issues evals can't catch, but agentic gains may be worth it — JustinLin610 · 2026-09-11
- Mathematicians urged to boycott AI labs: no benchmarks, no reviews, no free endorsements — sytelus · 2026-09-11
- Beyond task completion: measuring an AI agent's judgment on which experiments to abandon — VraserX · 2026-09-11
- AlphaFold delivered medical breakthroughs without a quasi-sentient model roaming the web — granawkins · 2026-09-11