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
- Moonshot’s Kimi K3 reaches #5 on MathArena as the top open model — xeophon · 2026-07-22
- Google launches Gemini 3.5 Flash Cyber for CodeMender, with limited access for governments — GoogleAI · 2026-07-22
- Kimi K3 tops Gemini 3.6 Flash on four shared public benchmarks — ChrisGPT · 2026-07-22
- Google’s year-long pause in new base-model pretraining draws sharp criticism — teortaxesTex · 2026-07-22
- Current setup is 8,192 input tokens and 2,048 output tokens, with 8k/512 next — TheZachMueller · 2026-07-22
- Kimi K3 feels slower than K2.7, but stronger on long coding jobs and refactoring — Far-Presence2711 · 2026-07-22