OpenAI: GPT-5.6 to 64 Agents, giving 50-year proof of conjecture one hour

OpenAI announced that GPT-5.6 SOL Ultra called 64 sub-Agents for less than one hour to provide a proof of a "cycle double-cover guess" of about 50 years. OpenAI has published the complete prompt and full certificate, with an open source in the form version of Lean, and the relevant code has passed the Lean internal nuclear inspection. However, this is still the result of OpenAI's release, and the mathematics community has yet to complete an independent review, so that for the time being it can only say "certificate" and not simply "formal settlement"。