AI情报Jul 10, 2026AI情报文章OpenAI 的 GPT-5.6 Sol Ultra 为历经数十年的数学猜想 'Cycle Double Cover Conjecture' 提出了证明。这凸显了 AI 模型解决复杂科学问题的能力日益增强,但也引发了对验证此类 AI 生成证明的疑问。Data Cube AI 编辑部2026年7月10日来源: Hacker News01来源简报OpenAI 的 GPT-5.6 Sol Ultra 为历经数十年的数学猜想 'Cycle Double Cover Conjecture' 提出了证明。这凸显了 AI 模型解决复杂科学问题的能力日益增强,但也引发了对验证此类 AI 生成证明的疑问。02相关话题AI 研究与科学OpenAIGPT-5.6数学研究查看本期