【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”时代的新气象。