Rumors: OpenAI Near Verifying Hodge Conjecture, Another Millennium Problem Progressing
kimmonismus · x · 2026-09-10
Rumors circulating claim 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 have resisted decades of mathematical research.
The poster considers them essentially confirmed, citing a New York Times passage: "In addition, since the completion of Navier-Stokes, we have made substantial progress on another Millennium Prize problem. We are working through how to share these results thoughtfully." Verified AI-generated proofs of both would be a historic achievement for mathematics. These remain unverified rumors.
Related event: Rumors: OpenAI Nears Hodge Conjecture Verification, Races Anthropic on BSD(19 posts)→
More from Models
- Qwen's Justin Lin: arch complexity hides issues evals can't catch, but agentic gains may be worth it — JustinLin610 · 2026-09-11
- OpenAI Shows GPT-6 'Astra' Autonomously Building a Font Playground — OpenAI · 2026-09-11
- LLMs can't write for humans: they miss audience awareness and linear idea flow — abeirami · 2026-09-11
- European Math Society hails OpenAI's Navier–Stokes solution, flags closed-model access concern — i_dg23 · 2026-09-11
- Blogger swaps in Gemini 3.8 Flash as writing model, says it beats Opus 4.6 with no AI flavor — xiaohu · 2026-09-11
- iFlytek's Spark X2.5 trained on 10,000 domestic Ascend 910B GPUs with 97% uptime — 机器之心 · 2026-09-11