1
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
AI模型GPT-5.6 Sol Ultra首次给出图论Cycle Double Cover猜想的完整证明，数学界迎来机器推理里程碑。
https://x.com/__eknight__/status/2075643450196971805 , https://xcancel.com/__eknight__/status/2075643450196971805 Prompt: https://cdn.openai.com/pdf/0…