数学爱好者用 GPT-6 Astra 证明 N≤20 的摆圆难题

数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 五种圆盘填充情形，此前仅 N≤14 和 N=19 得到验证。GPT-6 Astra 的思路是通过几何约束把无限排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列最优。nor 表示人类贡献包括确定可行性、引导模型、修复细节和手动验证，并用 Astra 与 Opus 5.5 重新检查全部内容。