热点事件历史事件
GPT-6 Astra 证明摆圆难题 N≤20 情形
1 篇报道1 个报道来源6 天前更新
先了解这件事
AI 综述
2026年10月12日，量子位报道，数学爱好者 nor 借助 GPT-6 Astra 严格证明了「摆圆」难题中 N=15、16、17、18 和 20 的圆盘装填最优性。该难题此前仅 N≤14 和 N=19 得到验证，已悬置 57 年。GPT-6 Astra 通过几何约束将无限排列缩减为有限情况并逐一排除，从而完成最优性证明。nor 表示人类贡献包括引导模型、修复细节，并用 Astra 与 Opus 5.5 复核全部内容。
AI 根据报道生成 · 6 天前更新
最新进展10月12日 15:48
nor 用 GPT-6 Astra 证明摆圆难题 N=15、16、17、18、20 的最优性。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位GPT-6 Astra 联手非职业数学家证明 57 年「摆圆」难题
数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 的圆盘装填最优性，此前仅 N≤14 和 N=19 得到验证。GPT-6 Astra 通过几何约束将无限排列缩减为有限情况并逐一排除，完成最优性证明。nor 表示人类贡献包括引导模型、修复细节和用 Astra 与 Opus 5.5 复核全部内容。
本事件热度走势
当前热度 3·可比范围峰值 6（10月13日 10:00）·近 24 小时可比范围变化 -49%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。