Researcher confirms OpenAI results include Unique Games proof and rational Hodge over abelian varieties
aran_nayebi · x · 2026-10-07
Responding to discussion of OpenAI's new math results collection, researcher Aran Nayebi confirms two specific claims: the Unique Games theorem is true, and rational Hodge holds over abelian varieties — notably not all varieties — linking the relevant material.
More from Research
- Scale AI's Muse Claims 6 Open Math Problems Solved With Mathematicians — inductionheads · 2026-10-07
- "The Hodge Conjecture Has Fallen": Unverified Claim of AI Math Breakthrough — rand_longevity · 2026-10-07
- Uni-LaDiR unifies reasoning across modalities via latent diffusion thoughts — Lianhuiq · 2026-10-07
- Kakeya Conjecture in R^3 Resolved by Hong Wang, Building on Her Fields Medal Work — teortaxesTex · 2026-10-07
- Research note: filtering subversion-related info from pretraining is feasible — jammastergirish · 2026-10-07
- Mathematician admits OAI's Hodge conjecture progress outpaced expectations, mocks the hype — ctjlewis · 2026-10-07