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
- OpenAI rolls out voice in GPT-Live, but the UI obscures search and reasoning — Graham_dePenros · 2026-07-22
- Moonshot’s Kimi K3 sets a new open-weights ECI record at 156 — scaling01 · 2026-07-22
- Nanbeige4.2-3B launches as a 3B Looped Transformer model that beats larger baselines — Wooden-Deer-1276 · 2026-07-22
- A post says six companies now beat Google’s best LLM, including two open-source models — soham_btw · 2026-07-22
- Google says Gemini 3.5 Pro is in testing and Gemini 4 is already pre-training — Wide-Ad1564 · 2026-07-22
- Gemini 3.5 Flash Lite Tested: Not Frontier-Optimal, but Hits 350 tok/s — brandon_galang · 2026-07-22