GPT-6 Astra 协助非职业数学家证明 57 年「摆圆」难题

GPT-6 Astra 协助非职业数学家 nor 严格证明了 N=15、16、17、18 和 20 时的圆盘最优排列，突破了该问题卡壳半个世纪的进展。此前仅 N≤14 及 N=19 得到验证，模型通过几何约束缩减可能性并计算机枚举完成证明。nor 负责引导与验证，结合 Opus 5.5 复核，展示了 AI 辅助数学研究的新范式。