OpenAI confirmed proof of Hodge conjecture case for CM abelian varieties, but not LLMs' best result
rbhar90 · x · 2026-10-07
Mathematicians continue to digest OpenAI's release of 372 result families across 722 manuscripts. A widely shared analysis roughly classifies published theorems into four tiers by breakthrough level: the vast majority are non-breakthrough results, followed by exceptional advances within existing programmes, with genuinely shocking breakthroughs rarer.
A quoted post confirms OpenAI proved the Hodge conjecture for all CM abelian varieties — huge, but still not the strongest result by an LLM: that title goes to the proof that the Riemann zeta function has no zeroes to the right of Re(s)=7/8.
More from Models
- OpenAI rolls out new GPT-6 version to all ChatGPT users, citing model and infra upgrades to scale to 1.2B users — charliermarsh · 2026-10-08
- OpenRouter launches decision model rankings, typesafeai leads all categories — multiply_matrix · 2026-10-08
- Vik Paruchuri calls out model copying: inspiration doesn't let you rename it and change the license — VikParuchuri · 2026-10-08
- Haiku 5.5 costs 20x less than Sonnet 5.5, dev uses it for parallel sub-agents — RLanceMartin · 2026-10-08
- 100 classic texts tested: Pangram flags Victor Hugo poem as 100% AI after one line removed — GolinoHudson · 2026-10-08
- Haiku 5.5 at max reasoning burns more tokens than Opus 5.5 max, user finds — haider1 · 2026-10-08