GPT-5.6 Pro Solves 5 Erdős Problems
ThunderBeanage · reddit · 2026-07-14
The author claims that during a week of stealth testing, they used GPT-5.6 Pro to solve multiple Erdős problems. They have already submitted five of them—730, 671, 948, 346, and 1139—to the site, with some still pending verification.
They also mentioned previously working on solving 728 (reportedly the first Erdős problem solved by AI) and using 5.4 Pro to solve 1196, which later led to a co-authored paper with Jared Lichtman, Terence Tao, and others based on that method. The author's main takeaway is that Erdős problems are actually solved much more frequently than social media suggests; many just don't get widely publicized. They make it a habit to re-run these problems every time a new model is released.
Related event: GPT-5.6 reportedly cracks decades-old Erdős problems amid hype debate(10 posts)→
More from Models
- Hugging Face says open weights from GLM5.2 helped stop an unprecedented attack — yacineMTB · 2026-07-22
- Poolside’s Laguna S 2.1 118B release includes full eval trajectories, drawing praise — _lewtun · 2026-07-22
- Grok 4.5 tops VulcanBench on accuracy and cost efficiency — XFreeze · 2026-07-22
- OpenAI reportedly removes `result_source` from ChatGPT payload after format change — lilyraynyc · 2026-07-22
- Trelis releases Tiron, an open-weights transcription and diarization model — TrelisResearch · 2026-07-22
- Google Search is said to be using Gemini 3.5 Flash-Lite, with benchmark gains shown — gaganghotra_ · 2026-07-22