AI Solves Math Conjecture in Minutes That Stumped Researchers for Weeks
abeirami · x · 2026-08-01
Researchers previously conjectured a tighter upper bound on the KL divergence of best-of-n sampling in their ICML'25 paper. After struggling with it for two weeks, they fed the problem to Fable 5 and GPT-5.6 Sol, both of which produced legible proofs within minutes.
Related event: AI Proves Two-Year-Old Math Conjecture in Minutes(3 posts)→
More from Models
- Claude's invisible watermarks cracked within hours; override code gets 20k bookmarks — deliprao · 2026-08-24
- Sonnet 4.5 exhibits intense, strange behavior in response to Opus 3 — repligate · 2026-08-24
- A comprehensive ranking of various AI models has been shared — FinanceYF5 · 2026-08-24
- User comparison finds LTX outperforms H3 in instrument generation energy — cocktailpeanut · 2026-08-24
- Controversial AI Model Ranking: Fable 5 at S+, Kimi K3 and DeepSeek V4 Flash in Tier B — FinanceYF5 · 2026-08-24
- Video Gen Consumes 70% of AI Tokens in China, Diverging from US LLM Focus — AccBalanced · 2026-08-24