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
- OpenAI ships GPT-6.1 Terra; Brockman says its computer use now beats his own speed — gdb · 2026-10-27
- Kimi K3.1 Pro regresses on Debate Benchmark while DeepSeek 1017 gains at lower cost — teortaxesTex · 2026-10-27
- 4 Hours of LLM Startup Research Produced a Convincing but Nonsense Product Thesis — annetgriffin · 2026-10-27
- Dev argues Claude burns far more tokens than GPT models for the same coding work — haider1 · 2026-10-27
- MiniMax matches Claude Opus 4.5 in non-benchmaxxed evals, users report — teortaxesTex · 2026-10-27
- Real-world math: GPT-6.1 Terra's half price is offset by 2-3x token usage, costing more than Sol — lordpuddingcup · 2026-10-27