OpenAI's GPT-5.6 Sol Ultra called upon 64 sub-agents to provide a proof for the "Cyclic Double Cover Conjecture" in less than one hour. OpenAI has publicly released the complete prompt and the full proof, along with an open-source Lean formalization version, and the related code has passed the Lean kernel check. Currently, the mathematical community has not completed an independent review, so this result can only be referred to as "providing a proof" rather than a "formal resolution."
This content is provided for general informational purposes only and doesn't constitute financial, investment, legal, or tax advice. Any events, rewards, online promotions, or related information mentioned herein should not be considered a recommendation, solicitation, or invitation to purchase, sell, trade, or otherwise deal in any crypto assets. Crypto assets are highly volatile and may result in loss. The availability of WEEX services, products, and related events may vary by region. You are responsible for ensuring that your participation is in accordance with applicable local laws and regulations.





























