数学爱好者使用 GPT-6 Astra 推进 57 年「摆圆」难题证明

Techub News 消息，一位名为 nor 的技术作者使用 OpenAI 的 GPT-6 Astra 模型，推进了一个持续 57 年的经典数学难题「摆圆问题」的证明。该问题旨在寻找将 N 个半径为 1 的小圆盘放入一个最小半径的大圆内的最优排列。 通过 GPT-6 Astra 的辅助，nor 成功严格证明了 N 为 15、16、17、18 和 20 这五种情况的最优性。此前，仅有 N≤14 和 N=19 的情况得到验证。模型通过将无限可能的排列缩减为有限情况，并使用计算机枚举和几何论证来完成证明。 nor 在个人博客和 X 平台公布了详细证明过程和研究笔记。（量子位）