@danshipper: Yesterday, GPT-5.6 Sol Ultra became generally available. Today, I'm sharing that I accidentally spent 2b tokens overnig…
Summary
Dan Shipper announces that GPT-5.6 Sol Ultra is generally available, and shares a tweet from Ethan Knight claiming the model produced a proof of the Cycle Double Cover Conjecture using 64 subagents in under an hour.
View Cached Full Text
Cached at: 07/10/26, 10:17 PM
Yesterday, GPT-5.6 Sol Ultra became generally available. Today, I’m sharing that I accidentally spent 2b tokens overnight and I didn’t even solve a 50-year-old math conjecture.
This is extremely cool though, skill issue on my part clearly
Ethan Knight (@eknight): Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we’re sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We’re sharing the prompt and proof below. We’re excited to see what you all do with
Similar Articles
@rohanpaul_ai: This is so great. GPT-5.6 Sol Ultra produced a 50-year-old conjecture proof using 64 subagents within one hour. The pro…
GPT-5.6 Sol Ultra, released by OpenAI, reportedly proved the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 subagents, marking a major AI breakthrough.
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
GPT-5.6 Sol Ultra, an AI model from OpenAI, has produced a proof of the Cycle Double Cover Conjecture, a long-standing problem in graph theory.
GPT-5.6 Sol Uses Twice the Tokens of GPT-5.5 (2 minute read)
GPT-5.6 Sol uses more than twice the tokens per session compared to GPT-5.5 in Codex workflows, leading to higher costs and faster depletion of subscription quotas.
Previewing Ultrafast mode: GPT-5.6 Sol at up to 14X the speed
OpenAI previews Ultrafast, a new service tier for GPT-5.6 Sol that runs up to 14× faster via Cerebras, generating up to 750 tokens per second in the OpenAI API.
GPT-5.6 Sol can run now at an incredible rate of ~750 tokens per second
GPT-5.6 Sol now runs at an impressive inference speed of about 750 tokens per second.