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
- Mistral touts STEM benchmark win, but leaderboard shows it ranking sixth overall — MistralAI · 2026-10-16
- Local tool calling compared: how Gemma 4, Llama 3 and Mistral differ — leslysandra · 2026-10-16
- $2 Gemini Pro accounts flood the gray market, spawning waves of AI spam comments — huangyun_122 · 2026-10-16
- Haider: Opus 5.5 vs Astra on SWE tasks — Astra has a higher floor, reasoning in a tier of its own — haider1 · 2026-10-16
- Artificial Analysis launches Decision Index for the emerging decision model category — ArtificialAnlys · 2026-10-16
- Liquid AI's d1-ultra tops Artificial Analysis Decision Index with 85% non-hallucination rate — ArtificialAnlys · 2026-10-16