数学爱好者用 GPT-6 Astra 证明 57 年摆圆难题 N≤20 剩余情形

数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情形，此前只有 N≤14 和 N=19 得到验证。模型的核心思路是通过几何约束把无限多种排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列已是最优。nor 表示自己的贡献包括确定问题可行性、引导模型、手动验证有效性，并用 Astra 和 Opus 5.5 重新检查所有内容。