Rumors Swirl OpenAI Nears a Hodge Conjecture Proof Days After Claiming Navier-Stokes, Racing Anthropic on BSD
创业邦 · wechat · 2026-09-11
Two days after OpenAI claimed its 10,000-agent run cracked Navier-Stokes in 88 hours, an X rumor says OpenAI is close to verifying the Hodge conjecture, and a New York Times feature confirms internal progress on another Millennium Problem. OpenAI and Anthropic are reportedly racing on the BSD conjecture.
Context: only Poincaré (2003) was solved by humans in 26 years; the Hodge conjecture's possible counterexamples suit brute-force AI search; BSD links elliptic curve rational points to L-functions. The piece argues AGI's yardstick keeps shifting as math itself becomes a model benchmark, with Terence Tao proposing to compare models on generating new mathematical insights instead.
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