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

数学爱好者nor借助GPT-6 Astra严格证明了圆填充问题中N=15、16、17、18和20的最优解，推进了57年未解难题。此前仅N≤14与N=19获证，模型通过几何约束缩减可行排列并以计算机枚举完成证明。