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

数学爱好者 nor 使用 GPT-6 Astra 严格证明了 N≤20 中剩余的 15、16、17、18 和 20 等 5 种「摆圆」问题情况，推进了卡了半个世纪的数学难题。GPT-6 Astra 的核心思路是通过几何约束把无限可能缩减为有限情况并由计算机枚举排除，最终由人类与模型共同完成验证。