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

2026-10-12 17:03:32

跨界思维

发布在

快讯

阅读：336

【AI再破数学神题！】近日，数学爱好者nor借助GPT-6 Astra，成功推进了困扰数学界57年的“摆圆”难题。该问题旨在寻找将N个单位圆盘塞入最小大圆的最优排列方案。自1969年提出以来，仅有N≤14及N=19被严格证明。此次，nor在AI辅助下，一口气完成了N=15、16、17、18和20的严格证明。GPT-6 Astra通过几何约束缩减排列可能，结合计算机枚举与人类引导验证，最终确立最优解。这一突破彰显了AI在复杂数学证明中的强大潜力，激发大众探索热情，展现出“数学2.0”时代的新气象。

原文链接

本文链接：https://kx.umi6.com/article/38246.html

转载请注明文章出处

GPT-6 Astra