Woofun AI reports that OpenAI’s GPT-5.6 Sol Ultra utilized 64 sub-agents to generate a proof for the "Cyclic Double-Covering Conjecture" in less than one hour. The company has released the full prompt and proof text, alongside an open-sourced Lean formalization that has passed kernel verification.

However, as independent mathematical review remains incomplete, the result is currently classified as a provided proof rather than a formally resolved theorem.