GPT-6 Astra 辅助证明 57 年圆盘打包难题，补全 N≤20 剩余情况

数学爱好者 nor 利用 GPT-6 Astra 完成了圆盘放入大圆（circle packing）难题中 N≤20 剩余 5 种情况（15、16、17、18 与 20）的最优性严格证明。证明的核心思路是通过几何约束将无限种排列缩减为有限情况，再由计算机逐一枚举排除，最终结合几何刚性完成验证。研究者在过程中负责引导模型、修正细节，并结合 Opus 5.5 交叉复核了全部步骤。