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

数学爱好者 nor 利用 GPT-6 Astra 成功证明了 N≤20 的“摆圆”难题，补全了此前仅验证至 N≤14 及 N=19 的研究空白。该模型通过几何约束将无限排列缩减为有限情况，并结合计算机枚举与几何刚性证明，最终确认了经典排列的最优性。此项工作由人类引导模型完成，并经过了 Claude Opus 5.5 的交叉验证。