GPT-6 Astra在数学证明上取得重大突破，解决了关于圆盘排列优化问题中N=15、16、17、18和20的情况。通过几何约束与计算机枚举，严格证明了经典排列的最优性。这一成就不仅推动了数学难题的研究进程，也展示了AI辅助数学研究的巨大潜力。

🔗 [博客地址]：https://nor-blog.pages.dev/posts/2026-10-11-circle-in-circle-packing-15-20/

GPT-6 Astra携手非职业数学家nor，成功推进了57年的摆圆难题证明。通过AI辅助，严格验证了N=15、16、17、18和20时的最优解。该成果展示了AI在解决复杂数学问题上的巨大潜力。

🔗 [论文地址]：https://nor-blog.pages.dev/posts/2026-10-11-circle-in-circle-packing-15-20/