GPT-6 Astra 联手非职业数学家严格证明 N≤20 圆盘堆积难题，突破 57 年未解瓶颈

1 篇报道存证1 家独立信源交叉印证持续跟踪至 2026/10/12 15:48:53

全景综述与最新动态

1 家信源交叉印证

OpenAI 最新模型 GPT-6 Astra 协助非职业数学家 nor 完成了对“圆内堆圆”问题中 N=15 至 20 情形的严格数学证明。此前该问题自 1969 年以来仅部分情形被验证，此次突破标志着大模型在解决长期悬而未决的组合优化与几何证明难题上展现出实质性能力。尽管证明过程晦涩且依赖人工引导逐步推广方法，但这一成果证实了 AI 作为科研协作者处理高复杂度逻辑推理的潜力。

最新动向/OpenAI 最新模型 GPT-6 Astra 协助非职业数学家 nor 完成了对“圆内堆圆”问题中 N=15 至 20 情形的严格数学证明。此前该问题自 1969 年以来仅部分情形被验证，此次突破标志着大模型在解决长期悬而未决的组合优化与几何证明难题上展现出实质性能力。尽管证明过程晦涩且依赖人工引导逐步推广方法，但这一成果证实了 AI 作为科研协作者处理高复杂度逻辑推理的潜力。

热度曲线逐小时热度走势

2 个完整观测小时

连续完整观测不足 3 个小时，暂不绘制趋势曲线。

TIMELINE报道时间线

共 1 篇 · 最新优先

量子位官网T2·10月12日 15:4878 分
GPT-6 Astra 联手非职业数学家严格证明 N≤20 圆盘堆积难题，突破 57 年未解瓶颈
原标题：刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」难题
- GPT-6 Astra 成功证明了 N=15, 16, 17, 18, 20 五种情况的圆盘堆积最优解，填补了自 1969 年以来的研究空白。
- 采用循序渐进策略：先由模型解决 N=15，再将其方法推广至其他数值，体现了人机协作中的逻辑迁移能力。
- 证明过程虽由 AI 生成但极其晦涩，显示当前模型在可解释性与人类可读性方面仍存在显著差距。
查看存证研判原始网页