GPT 5.6 Solves 70-Year-Old Conjecture
burny_tech · x · 2026-07-19
It is rumored that GPT 5.6 solved a nearly 70-year-old mathematical conjecture (Erdős #119). The citation emphasizes that the proof took only about a page and used fairly standard harmonic analysis; in contrast, a weaker version had been resolved by Beck in a 44-page Annals paper. The post describes this as a counterintuitive phenomenon: the harder problem might actually make the proof path simpler.
Related event: GPT-5.6 Solves Decades-Old Math Problems, Boosting Proof Capabilities(10 posts)→
More from Models
- Grok 4.5 is now free inside Cursor, the popular AI coding IDE — mark_k · 2026-07-21
- Eno Reyes says model distillation is basically unstoppable — LangChain · 2026-07-21
- Sakana says multiple diffusion models plus MCTS beat test-time scaling on coding and math — SakanaAILabs · 2026-07-21
- OpenAI hackathon project stalls as Codex struggles on voice, while Claude spots the issue — ColleenMBrady · 2026-07-21
- Kimi K3 lands exactly on China’s 2-year AI capability trend line — peterwildeford · 2026-07-21
- Google’s Gemini 3.6 Flash is pitched as its most intelligent model for coding and agentic work — scaling01 · 2026-07-21