Sol Ultra Proves 50-Year-Old Math Conjecture
basedjensen · x · 2026-07-11
Following the official release of GPT-5.6 Sol Ultra, the team claims it proved the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 sub-agents.
They also shared the prompts and proof text used to generate it. The core message is that the boundaries of current model capabilities are being continuously pushed by greater ambition and imagination.
Related event: GPT-5.6 Sol Ultra Proves 50-Year Math Conjecture(17 posts)→
More from Models
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- OpenAI’s Codex + GPT-5.6 Sol hits 99% recall in Project APE verification tests — soumitrashukla9 · 2026-07-22
- 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