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
- Daily AI brief: GPT-Live-1 in API, OpenAI pauses $200 Pro signups amid Astra demand — koltregaskes · 2026-09-11
- Same Echo Maze prompt, three frontier models: all passed visually but shipped the same hidden bug — eyishazyer · 2026-09-11
- Benchmark scores drop from 89% to 19% on new evals — how benchmaxxing breaks leaderboard trust — airesearch12 · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11