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
- Same Echo Maze prompt, three frontier models: all passed visually but shipped the same hidden bug — eyishazyer · 2026-09-11
- Benchmark scores drop from 89% to 19% on new evals — how benchmaxxing breaks leaderboard trust — airesearch12 · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11
- Claude is no longer available for minors as Anthropic rolls out age assurance — Muhammad523 · 2026-09-11
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11