事件持续更新
爱好者称用 GPT-6 Astra 证明摆圆难题剩余情形
先了解这件事
AI 综述
据量子位报道，数学爱好者 nor 称用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 的情形，此前只有 N≤14 和 N=19 得到验证。该问题要求把 N 个半径为 1 的圆盘放进半径尽可能小的大圆，1969 年数学家已给出排列方案，但 57 年来无人严格证明其最优。据 nor 的博客，GPT-6 Astra 不再直接搜索最优解，而是用几何约束把无限多种排列缩减为有限情况，再通过计算机枚举和几何刚性论证排除其他可能。
AI 根据报道生成 · 11 小时前更新
后续时间线
10月12日
- 量子位数学爱好者称用 GPT-6 Astra 证明 57 年摆圆难题剩余情形
数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 的情形，此前只有 N≤14 和 N=19 得到验证。该问题要求把 N 个半径为 1 的圆盘放进半径尽可能小的大圆，1969 年数学家已给出排列方案，但 57 年来无人严格证明其最优。据 nor 的博客，GPT-6 Astra 不再直接搜索最优解，而是用几何约束把无限多种排列缩减为有限情况，再通过计算机枚举和几何刚性论证排除其他可能，15 个圆盘的情形另用了奇数环论证。nor 称自己的贡献包括确定问题可行性、引导模型、手动验证结果，并用 Astra 和 Opus 5.5 重新检查了全部内容。
相关讨论
关注度走势
每天新增来源
- 10月12日新增1个来源（1家媒体、0个账号）
- 10月13日新增0个来源（0家媒体、0个账号）