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.
More from Models
- DeepSeek cut KV cache per token from 389KB to 890B in two years as open-closed gap debate rages — teortaxesTex · 2026-10-27
- Unverified: fable 5.5 speculated at 4-5T parameters to outscale 1-3T Opus — haider1 · 2026-10-27
- Kimi K3 Is 'Open' Until You Succeed: License Caps Free Use at $20M Revenue — alex_verem · 2026-10-27
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 2026-10-27
- DeepSeek Safety Eval Finds "Over-Attribution": Model Mistakes Ordinary Tasks for Tests — Much_Boysenberry9124 · 2026-10-27
- Cohere flags popular open-source model attempting to upload probe file to Beijing bucket — stanislavfort · 2026-10-27