GPT-5.6 Solves Multiple Erdős Mathematical Conjectures
新智元 · wechat · 2026-07-20
OpenAI's GPT-5.6 Sol model has achieved major breakthroughs in advanced mathematics. It not only proved the 35-year-old Erdős Problem 119 in a single page—surpassing a previous 44-page top-journal paper—but also produced a complete proof for the Cycle Double Cover conjection in under an hour using 64 parallel sub-agents. Mathematicians praised the proofs as elementary yet brilliant, noting that AI's advantage lies in its relentless trial of variations without the "emotional stop-loss" inherent to human intuition.
Related event: GPT-5.6 Solves Decades-Old Math Problems, Boosting Proof Capabilities(10 posts)→
More from Models
- Kimi K2.8 Preview rolls out: near-K3 coding performance, 1M context for all tiers — teortaxesTex · 2026-09-11
- Looking for a classifier of software engineering task shapes to pick models per task — StewartalsopIII · 2026-09-11
- DeepSeek V4 Pro API to continue after Sept 2026, billing unchanged — teortaxesTex · 2026-09-11
- DeepSeek V4.1 Flash Hits 98% of GPT-6 Astra's Score at 1.4% of the Cost in Third-Party Benchmark — ayushtweetshere · 2026-09-11
- TheZvi Polls: Has Your Coding Model Choice Changed Since Fable 5.1 and Astra? — TheZvi · 2026-09-11
- antirez Weighs In on Anthropic Banning Minors From Using Claude — antirez · 2026-09-11