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
- Unreleased model reportedly solves ETH and Quasi-Riemann problems that current models can't — BlancheMinerva · 2026-10-28
- Uncensored LFM3-1.7B GGUF quants drop refusal rate from 61.7% to 0% — alexcovo_eth · 2026-10-28
- CRUX shadow eval: GPT-6 Astra and Claude Fable 5.1 research papers both rejected by experts — patpat_mit · 2026-10-28
- Ollama Launches Cloud Service with Crusoe to Run Frontier Open Models — ollama · 2026-10-28
- How a European AI lab post-training Chinese open models can earn credibility — alejandroll10 · 2026-10-28
- GLM 5.3 Flash NVFP4 on 4x RTX 6000 WS: V2 serving nearly doubles throughput per GPU — TheZachMueller · 2026-10-28