GPT-6 Astra 联手非职业数学家，严格证明 57 年「摆圆」难题的 5 种情况

数学爱好者 nor 使用 GPT-6 Astra，严格证明了 N≤20 的「摆圆」难题中剩余 5 种情况（N=15、16、17、18、20），此前仅 N≤14 和 N=19 已验证。GPT-6 Astra 的核心思路是将无限多种排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列最优。nor 表示，人类在其中负责确定可行性、引导模型、修复问题并手动验证有效性。