数学爱好者借助 GPT-6 Astra 证明 57 年圆盘填充难题 N≤20 剩余情形

数学爱好者 nor 借助 GPT-6 Astra，成功严格证明了 57 年未决几何难题中 N 为 15、16、17、18 和 20 的圆盘最优填充方案，补齐了 N≤20 范围内的所有剩余情况。GPT-6 Astra 采用几何约束将无限排列缩减为有限空间，通过计算机枚举与刚性分析证明经典解的最优性。nor 负责引导推导方向并手动校验细节，最后联合 Opus 5.5 完成了全面复核。