Rumors swirl OpenAI near verifying Hodge conjecture proof, more to come
kimmonismus · x · 2026-09-10
Rumors spreading on 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 that resisted decades of research. Verified AI-generated proofs would be historic. The poster finds the rumors plausible given reports of OpenAI's internal model's capabilities a week earlier, plus competitive pressure from Anthropic's rumored IPO. Unverified as of now.
Related event: Rumors claim OpenAI nears verifying a proof of the Hodge conjecture(5 posts)→
More from Models
- Polymarket Odds Put Next DeepSeek Pro Release by End of November at 48% — Polymarket · 2026-09-10
- DeepSeek Reportedly Launches V4.1 Flash at a Fraction of a Cent per Million Tokens — Polymarket · 2026-09-10
- New Paper: On-Policy Reverse Distillation Lets Stronger Students Surpass Weak Teachers — algo_diver · 2026-09-10
- willcb declares transformers done, says future belongs to 'freaky-looking sorta-transformers' — willcb · 2026-09-10
- Hy4 preview tested: playable 3D survival game from a single prompt in WorkBuddy — mhdfaran · 2026-09-10
- Gemini 2.5 Pro's search grounding may inflate its benchmark scores vs. rivals — Afinetheorem · 2026-09-10