GPT-5.6 挑战 3300 道未解数学题，完成率约 10%

数学家 Sasho 取出十年前整理的数学开放问题列表，使用 GPT-5.6 Sol xhigh 模型对 3300 个未解决问题进行测试。模型共产出约 170 个反例和 170 个证明，整体完成率约为 10%。这一结果展示了当前大模型在未经专门整理的开放数学问题上的实际推理与证明能力，引发对 AI 数学研究助力的讨论。

2026-08-25 ~ 2026-08-25 · 2 条相关

• GPT-5.6 尝试解 3300 道数学难题，完成率约 10% — littmath · 2026-08-25
• GPT-5.6 攻克 3300 道数学难题，证明率约 10% — burny_tech · 2026-08-25