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
- Bug Hunt Bench ranks frontier coding models on 105 planted real-repo bugs — PawelHuryn · 2026-09-11
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11
- 105 hidden bugs, 2 repos: DeepSeek V4.1 Flash fixes 24 at $1.80 vs Opus 5's 27 at $51.33 — ChartsJournalX · 2026-09-11
- awesome-llm-leaderboards: an open-source directory of LLM leaderboards, pricing tables, comparison tools — Last_Establishment_1 · 2026-09-11
- Anthropic claims it works to keep eval environments unidentifiable to models — MaxKannen · 2026-09-11
- Nex N2.5 Pro released on Hugging Face with 407GB of weights — jinnyjuice · 2026-09-11