OpenAI's GPT-5.6 Sol Ultra Generates First AI-Proven Cycle Double Cover Proof

OpenAI announced the GPT-5.6 family—Sol, Terra, and Luna—designed to compete with Anthropic on cost, speed and productivity. The flagship Sol model, along with the new ChatGPT Work assistant, adds desktop and browser automation capabilities aimed at non‑programmers. OpenAI highlighted benchmark gains over Anthropic’s Claude models, emphasizing lower latency and reduced token usage.

In a parallel development, the Sol Ultra variant of GPT-5.6 produced a machine‑verified proof of the Cycle Double Cover Conjecture, a 50‑year‑old problem in graph theory. The proof, generated in under an hour by a swarm of 64 specialized sub‑agents, was posted to OpenAI’s CDN on July 10, 2026. While the result is formally verified, mathematicians note that peer‑review and conceptual understanding remain pending.