数学爱好者称用 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 重新检查了全部内容。