Report: OpenAI near verifying Hodge conjecture, racing Anthropic on BSD
新智元 · wechat · 2026-09-11
Two days after OpenAI claimed it cracked the Navier-Stokes problem with 10,000 agents in 88 hours (166-page paper plus Lean-verified proofs), an X leak says OpenAI is close to verifying the Hodge conjecture, and a New York Times feature confirms its internal team made substantial progress on another Millennium Prize Problem over five years.
Rumors add that OpenAI and Anthropic are quietly racing toward the BSD conjecture, with some work already in verification. If true, three decades-old Millennium Problems could fall to AI within a month.
- Status: Poincaré solved (2003); Navier-Stokes claimed pending Clay review; Hodge and BSD rumored; Riemann, P vs NP, Yang-Mills untouched.
- Hodge asks whether topological Hodge classes on algebraic varieties all come from algebraic cycles — a search-for-counterexample task well suited to brute force.
- BSD links the rank of elliptic curves to L-function behavior; proving it would also settle the congruent number problem.
The piece frames this as AGI benchmarks ratcheting upward: IMO gold, GPT-5.2 deriving a new particle-physics formula, GPT-6 Astra and Brockman's "Welcome to the AGI era." (Hodge/BSD claims remain unverified.)
More from Models
- User: Opus 5 is "unusable" — it finds every way not to do what's asked even at max settings — RexDouglass · 2026-09-11
- Only Muse Spark 1.3 and Fable 5.1 sit on the coding Pareto frontier — jyangballin · 2026-09-11
- User slams Anthropic for blocking benign queries on ancient texts and recursive AI — NickPassig · 2026-09-11
- Codex cybersecurity work needs the Daybreak model to avoid safety-guardrail blocks — HankYeomans · 2026-09-11
- DeepSeek's new open-source model reportedly crushes GLM and Kimi at 4-10x lower prices — anselm · 2026-09-11
- GPT-6 Astra rebuilds Cessna 337 landing gear from a YouTube video; Fable 5.1 falls short — FinanceYF5 · 2026-09-11