热点事件历史事件
GPT-6 Astra协助证明57年圆盘排列难题
1 篇报道1 个报道来源3 天前更新
先了解这件事
AI 综述
2026年10月12日，量子位报道非职业数学家nor在GPT-6 Astra的协助下，严格证明了N=15、16、17、18和20时的圆盘最优排列问题。该问题曾困扰数学界57年，此前仅N≤14及N=19的情况得到验证。此次突破中，AI模型通过几何约束缩减可能性并结合计算机枚举完成证明，nor负责引导与验证，并引入Opus 5.5进行复核。这一成果展示了AI辅助数学研究的新范式，突破了该领域卡壳半个世纪的进展。
AI 根据报道生成 · 3 天前更新
最新进展10月12日 15:48
GPT-6 Astra协助证明N=15至18及20的圆盘最优排列，突破57年难题。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位GPT-6 Astra 协助非职业数学家证明 57 年「摆圆」难题
GPT-6 Astra 协助非职业数学家 nor 严格证明了 N=15、16、17、18 和 20 时的圆盘最优排列，突破了该问题卡壳半个世纪的进展。此前仅 N≤14 及 N=19 得到验证，模型通过几何约束缩减可能性并计算机枚举完成证明。nor 负责引导与验证，结合 Opus 5.5 复核，展示了 AI 辅助数学研究的新范式。
本事件热度走势
当前热度 3·可比范围峰值 6（10月13日 07:00）·近 24 小时可比范围变化 -49%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。