GPT-5.6 Cracks a 50-Year-Old Math Problem in 1 Hour, 64 AIs Claim the Crown Jewel of Graph Theory
OpenAI announced that its AI model, GPT-5.6 Sol Ultra, has successfully proved the 50-year-old Cycle Double Cover (CDC) conjecture in graph theory in under an hour. This long-standing problem, posed independently by several prominent mathematicians, states that every bridgeless finite undirected graph contains a set of cycles where each edge is covered exactly twice.
The breakthrough was achieved using a novel "parallel test-time computation" (TTC) approach. Instead of a single AI working sequentially, the system deployed 64 concurrent AI agents, each exploring distinct proof strategies—from algebraic perspectives to structural induction. The process included strict protocols to avoid common research pitfalls: initial exploration of fundamentally different paths, preventing herd mentality by not revealing the most promising direction, and employing a "critic squad" of agents to rigorously attack and verify every proposed proof step. The system forbade vague assertions, demanding concrete lemmas and constructions.
The resulting proof, generated by GPT-5.6 and formatted with Codex, employed a sophisticated multi-step strategy. It first reduced the general case to cubic graphs, then leveraged Tutte's group-flow theorem to establish the existence of a nowhere-zero 8-flow on the graph. A key inventive step was introducing a "two-element set" labeling scheme (Lemma 2.1), which, if satisfied, guarantees a cycle double cover. The AI then transformed this combinatorial condition into a large system of linear equations (Lemma 2.2), using linear algebra over finite fields to conclusively demonstrate that a solution always exists.
Researchers highlighted that parallel TTC dramatically compressed the reasoning time, making deep, extended AI problem-solving practically feasible. While some observers marveled at the implications for mathematics and science, others questioned whether parallel breadth can fully substitute for deep, continuous logical chains. Nonetheless, this achievement marks a significant advance in AI's autonomous capacity for high-level abstract reasoning and complex proof generation.
marsbit07/15 07:57