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

数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 的圆盘装圆最优性，此前仅 N≤14 和 N=19 得到验证。Astra 的思路是先通过几何约束把无限多种排列缩减为有限情况，再用计算机逐一排除，最后用几何刚性把近似最优提升为严格一致。