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
- Unreleased 'GPT 6 Sol' model spotted in OpenAI's API — SteveEricJordan · 2026-09-11
- DeepSeek update keeps cache hits mid-conversation, cuts costs 36.6% — teortaxesTex · 2026-09-11
- AI Sextet offers 6 models free and unlimited for 14 days, including DeepSeek and Qwen — airesearch12 · 2026-09-11
- BullshitBench update: GPT-6-Astra beats all prior OpenAI models but still trails Anthropic — scaling01 · 2026-09-11
- Astra Scores 83% on GauntletBench, First Computer-Use Agent to Beat Human Baseline — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview rolls out: near-K3 coding performance, 1M context for all tiers — teortaxesTex · 2026-09-11