📖 AI 总结

一位数学爱好者借助GPT-6 Astra，严格证明了“摆圆问题”中N=15、16、17、18和20五种情形的最优解，将此前仅覆盖N≤14和N=19的验证范围进一步扩大。该问题自1969年提出经典排列方案以来，其最优性始终未被严格证明。GPT-6 Astra的核心思路是通过几何约束将无限排列缩减为有限情况，再借助计算机枚举与几何刚性论证逐一排除，最终确认经典方案不可改进。这一进展表明，AI已能在长期停滞的数学难题上提供实质性证明贡献，人机协作模式正成为数学研究的新路径。