[GPT-5.6 Deploys 64 Agents, Provides Proof for 50-Year-Old Conjecture in One Hour] According to monitoring by Beating, OpenAI announced that GPT-5.6 Sol Ultra utilized 64 sub-agents and, in less than one hour, produced a proof for the nearly 50-year-old 'Cycle Double Cover Conjecture.' OpenAI has publicly released the complete prompt and full proof, as well as an open-source Lean formalized version. The related code has passed verification by the Lean kernel. However, this remains a result published by OpenAI. The mathematics community has yet to complete an independent review, so for now, it can only be stated that a 'proof has been provided,' but it cannot yet be definitively claimed as 'formally resolved.' [Original Link]