Mathematician says OpenAI likely proved a significant partial case of the Hodge conjecture
burny_tech · x · 2026-09-23
Mathematician Elliot Glazer says he is "nearly certain" OpenAI proved a non-trivial partial case of the Hodge conjecture, and it's likely both labs independently achieved at least a partial result.
- He cautions this doesn't meaningfully shorten timelines for the full conjecture: abelian varieties have long been known to be much easier to analyze than the general case
- A full proof of the Hodge conjecture would be "hundreds of times more impressive than anything else ever achieved by math AI," and he doesn't expect it anytime soon
More from AGI Musings
- Dustin Moskovitz: the single largest funder of the EA ecosystem, with billions to AI safety — SydSteyerhart · 2026-09-23
- Open-source advocates call doom narratives a regulatory moat against open weights — AlexTensor · 2026-09-23
- When AI science bifurcates from human science, like math seems set to do — burny_tech · 2026-09-23
- Show today's LLMs to experts 10 years ago and they'd call it AGI — JacksonKernion · 2026-09-23
- Benedict Evans: AI may automate much of junior lawyers' and consultants' routine work — rohanpaul_ai · 2026-09-23
- AI safety will follow engineering tradition: formal proofs for simple cases, evals for complex — burny_tech · 2026-09-23