OpenAI 的 GPT-5.6 Sol Ultra 为历经数十年的数学猜想 'Cycle Double Cover Conjecture' 提出了证明。

这凸显了 AI 模型解决复杂科学问题的能力日益增强，但也引发了对验证此类 AI 生成证明的疑问。

AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI