OpenAI's GPT-5.6 Sol Ultra Solves 50-Year Graph Theory Conjecture
Sol Ultra's 64 subagents produce a proof of the Cycle Double Cover Conjecture in under an hour.
OpenAI's Ethan Knight announced on July 10 that GPT-5.6 Sol Ultra—made generally available just a day earlier—produced a proof of the Cycle Double Cover Conjecture, a graph theory problem unresolved since 1973. The company published both the proof and the full 700-word prompt. Mathematician Thomas Bloom praised the proof as 'very nice' and 'elementary,' saying it could have been discovered in the 1980s, but criticized the lack of citations to foundational prior work. The conjecture has attracted flawed proofs before, so experts urge caution until peer review completes. Regardless, the dynamic multi-agent orchestration architecture—64 subagents managed aggressively with diversity and review mechanisms—is immediately applicable to complex structured problems and cost between $275 and $13,000 to run.
Meanwhile, the FLI AI Safety Index gave Anthropic a C+ (best grade), OpenAI and Google DeepMind a C, and xAI a failing grade. All major labs were accused of weakening commitments to pause development near danger thresholds. Anthropic also launched Claude Corps, a paid 12-month nonprofit fellowship. Separately, Qualcomm is in early talks to acquire Tenstorrent, Jim Keller's RISC-V AI chip company, for $8–10B. This would give Qualcomm its first competitive datacenter AI hardware position, betting on Keller's engineering team rather than current revenue.
- GPT-5.6 Sol Ultra claimed a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents; not yet peer reviewed.
- FLI Safety Index: Anthropic tops at C+, but all major labs accused of moving goalposts on danger thresholds; xAI fails.
- Qualcomm in early talks to acquire RISC-V chip startup Tenstorrent for $8–10B, aiming for a competitive Nvidia alternative in datacenter AI.
Why It Matters
AI's ability to solve long-standing math problems, coupled with safety governance shifts and new hardware competition, reshapes capability and procurement landscapes.