OpenAI’s GPT-5.6 Sol just proved the Cycle Double Cover Conjecture in under an hour. That is a math problem that has sat unsolved since 1975. Sixty-four subagents working in parallel, each picking up where the last one left off. No human mathematician needed to supervise or course-correct. The proof exists. It is real. It came…