GPT-6 Astra 联手数学爱好者证明 57 年摆圆难题

数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 的圆盘填充最优性，此前仅 N≤14 和 N=19 得到验证。Astra 的思路是把无限排列缩减为有限情况再逐一排除，分五步完成证明。nor 表示自己负责确定可行性、引导模型、修复细节并手动验证结果。