GPT-6 Astra 联手非职业数学家证明 57 年「摆圆」难题

数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 的圆盘装填最优性，此前仅 N≤14 和 N=19 得到验证。GPT-6 Astra 通过几何约束将无限排列缩减为有限情况并逐一排除，完成最优性证明。nor 表示人类贡献包括引导模型、修复细节和用 Astra 与 Opus 5.5 复核全部内容。