OpenAI's GPT-5.6 Uses 64 Agents to Prove 50-Year Math Conjecture in Under One Hour
According to OneMillion_AI, OpenAI's GPT-5.6 Sol Ultra deployed 64 sub-agents to provide a formal proof of the Cycle Double Cover Conjecture—a mathematical problem posed approximately 50 years ago—in under one hour. OpenAI has published the complete prompt and proof in full, and open-sourced a
GateNews·07-11 01:29
