热点事件持续更新
GPT-6 Astra协助证明57年圆盘堆积难题
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
2026年10月，技术作者nor利用OpenAI的GPT-6 Astra模型，成功解决了存在57年的“将N个半径为1的圆盘塞入最小大圆”数学难题中N=15至18及N=20的情形。此前，该问题仅在N≤14和N=19时得到验证。证明过程由模型通过几何约束将无限排列缩减为有限情况，随后经计算机逐一排除及几何刚性论证完成最优性证明。在此过程中，nor负责引导模型、修复潜在问题并手动验证结果的有效性。这一进展标志着AI在解决高难度组合优化与几何证明问题上取得了实质性突破，填补了该经典难题长期以来的关键空白。
AI 根据报道生成 · 4 小时前更新
最新进展10月12日 19:41
GPT-6 Astra协助证明57年圆盘堆积难题N=15-18及20情形报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 36氪 · 文章GPT-6 Astra 协助证明57年“摆圆”难题 N≤20 情形
技术作者 nor 使用 GPT-6 Astra 严格证明了“将N个半径为1的圆盘塞入最小大圆”这一存在57年的数学难题中 N=15、16、17、18 和 20 的情形，此前仅 N≤14 和 N=19 已被验证。模型通过几何约束将无限排列缩减为有限情况，再经计算机逐一排除及几何刚性论证完成最优性证明；nor 负责引导模型、修复问题及手动验证有效性。
本事件热度走势
当前热度 9·可比范围峰值 10（10月12日 20:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。