GPT-6 Astra 协助证明57年“摆圆”难题 N≤20 情形

技术作者 nor 使用 GPT-6 Astra 严格证明了“将N个半径为1的圆盘塞入最小大圆”这一存在57年的数学难题中 N=15、16、17、18 和 20 的情形，此前仅 N≤14 和 N=19 已被验证。模型通过几何约束将无限排列缩减为有限情况，再经计算机逐一排除及几何刚性论证完成最优性证明；nor 负责引导模型、修复问题及手动验证有效性。