Skip to content
AI情报Jul 10, 2026AI情报
文章

OpenAI 的 GPT-5.6 Sol Ultra 为历经数十年的数学猜想 'Cycle Double Cover Conjecture' 提出了证明。这凸显了 AI 模型解决复杂科学问题的能力日益增强,但也引发了对验证此类 AI 生成证明的疑问。

Data Cube AI 编辑部来源: Hacker News
01

来源简报

OpenAI 的 GPT-5.6 Sol Ultra 为历经数十年的数学猜想 'Cycle Double Cover Conjecture' 提出了证明。这凸显了 AI 模型解决复杂科学问题的能力日益增强,但也引发了对验证此类 AI 生成证明的疑问。