Rumors Swirl: OpenAI Near Verifying Hodge Conjecture Proof, BSD May Be Next
TheGoldenLeaper · reddit · 2026-09-11
Unverified rumors spreading on Reddit and X claim OpenAI is close to verifying a proof of the Hodge conjecture, while OpenAI or Anthropic may be nearing a solution to Birch–Swinnerton–Dyer — both Millennium Prize Problems. Another alleged AI-cracked Millennium problem is reportedly under secret review. If confirmed, verified AI-generated proofs would be a historic demonstration of AI's ability to produce novel scientific knowledge. Authenticity remains unconfirmed.
More from Models
- Kimi K3.1 Pro tops MathArena open models, closing frontier gap to about 6 months — teortaxesTex · 2026-10-26
- Ruff creator Charlie Marsh: frontier models find infinite bugs in any software — charliermarsh · 2026-10-26
- Dev testing one skill across Opus 5.5 and Sol 6.1 finds instruction following 'all over the map' — lucasmeijer · 2026-10-26
- supermemory unveils learner-1, claiming continual learning for any model — julianweisser · 2026-10-26
- Anthropic says Opus 5.5 cuts cost per task by ~40% vs Opus 5 — taufiqintech · 2026-10-26
- AI search APIs ranked: top 12 within 7 points, yet prices differ nearly 7x — FinanceYF5 · 2026-10-26