@danshipper: Yesterday, GPT-5.6 Sol Ultra became generally available. Today, I'm sharing that I accidentally spent 2b tokens overnig…

X AI KOLs Timeline Models

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.

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
Original Article
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