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

数学爱好者使用GPT-6 Astra成功证明了N≤20个圆盘的最优排列问题，解决了这个困扰数学家57年的难题。此前只有N≤14和N=19的情况已被验证，AI通过几何约束和计算机枚举方法完成了证明。