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
- 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
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 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