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.
Related event: Rumors Swirl: OpenAI Nears Hodge Conjecture Verification, BSD Next(15 posts)→
More from Models
- Leike: Opus 4 jailbreak mitigations took over a year — safety can't start late — janleike · 2026-09-11
- DeepSeek appears to break its V<N> naming convention, new architecture said to train more stably — stochasticchasm · 2026-09-11
- DeepSeek's New Model: 4x Smaller KV Cache Than DSV4-Flash and More Stable Training — stochasticchasm · 2026-09-11
- Uncensored CyberTiel 35B-A3B Beats Opus 4.6 on Real Codebase Issues at 27% of Qwen's Time — peculiar-ragdoll · 2026-09-11
- GLM-5.3 dominates CyberGym: top two cyber agents both run it, four of top six — pcuenq · 2026-09-11
- gpt-live brings SOTA voice to everyone: build your own codex-voice at $0.05/min — pbbakkum · 2026-09-11