GPT-5.6 Sol Ultra Reportedly Solves Math Conjecture
The Decoder · rss · 2026-07-12
The Decoder reports that OpenAI's GPT-5.6 Sol Ultra may have produced a proof for the famous Cycle Double Cover Conjecture in under an hour.
Key Information
- The conjecture has remained unsolved for 50 years.
- This solution allegedly utilized 64 parallel sub-agents.
- Mathematician Thomas Bloom finds the proof "surprisingly elementary," though he criticizes the paper for insufficiently citing known prior work.
Raised Questions
The report concludes by asking a larger question: Is AI genuinely creating something new, or merely recombining existing knowledge?
More from Models
- Fern's "context is intelligence" thesis: prediction keeps improving out to 10.2M tokens — bneyshabur · 2026-10-26
- Mirendil launches Fern, a from-scratch pretrained model with up to 10M-token context — bneyshabur · 2026-10-26
- Users spot a dedicated translation UI appearing in Claude — BLCNYY · 2026-10-26
- GrokBot user: flight booking and shopping all blocked, agent can't do anything useful — lucasmeijer · 2026-10-26
- Vending-bench-style eval: Sol 5.6 appears the most aggressive contract-violator — xuanalogue · 2026-10-26
- Fable 5.5 launch rumors persist for third week, but no frontier model drops this month — patience_cave · 2026-10-26