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
- Meta's Muse Spark 1.3 System Card Relies on Four Tübingen Benchmarks — maksym_andr · 2026-10-27
- ChatGPT Pro 500 Spotted: £445/Month Tier With Shared Weekly Usage Limits — yoimnotkesku · 2026-10-27
- Experts Clash: Today's Models Dwarf GPT-4, But Journal Delays Lock Out New LLMs — DeryaTR_ · 2026-10-27
- OpenAI's Terra release disappoints: community senses a widening lab-to-public frontier gap — ChrisGPT · 2026-10-27
- Claude spots broken physics in AI videos, fixes them with CFD and finite-element verification — OfirPress · 2026-10-27
- Meta TBD underwent pre-launch red-teaming by 5 third-party safety firms — maksym_andr · 2026-10-27