GPT-5.6 Ultra Proves 50-Year-Old Conjecture
StartupYou · x · 2026-07-11
A repost claims that GPT-5.6 Sol Ultra has proven a 50-year-old mathematical conjecture—the Cycle Double Cover Conjecture.
Further details reveal that just one day after becoming "officially available," the model completed the proof today in under 1 hour using 64 subagents. The official team also shared the prompt and proof, inviting researchers to further explore the boundaries of its capabilities.
Related event: GPT-5.6 Sol Ultra Proves 50-Year Math Conjecture(17 posts)→
More from Models
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11
- Opus Refuses Protein Research Codebase Over 'Safety' Concerns, Dev Considers Rolling His Own — josephdviviano · 2026-09-11
- User Hails Unconfirmed 'DeepSeek 4.1 Flash' as an Inflection Point in LLMs — himanshustwts · 2026-09-11
- Terminal Bench v4: GLM-5.3 Leads at 41.9%, Kimi-K3 Underwhelms at 12.6% — Ok_Warning2146 · 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