GPT-6 Astra与数学爱好者证明N≤20摆圆问题

数学爱好者nor使用GPT-6 Astra，将半径为1的N个圆盘装入最小外圆的问题推进至N≤20，并严格证明了15、16、17、18和20这5种此前未完成的情况。其方法通过几何约束把无限排列缩减为有限候选，再结合计算机枚举、几何刚性和接触关系完成最优性证明。研究过程中，人类负责确定可行性、引导模型、修复细节并手动验证结果。