热点事件持续更新
GPT-6 Astra辅助证明57年摆圆难题
1 篇报道1 个报道来源14 小时前更新
先了解这件事
AI 综述
2026年10月12日，量子位报道，非职业数学家nor使用GPT-6 Astra严格证明了困扰57年的“摆圆”难题中N≤20的剩余5种情况（N=15、16、17、18、20），此前仅N≤14和N=19已验证。GPT-6 Astra的核心思路是将无限多种排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列最优。nor表示，人类负责确定可行性、引导模型、修复问题并手动验证有效性。
AI 根据报道生成 · 1 小时前更新
最新进展10月12日 15:48
GPT-6 Astra辅助证明N≤20摆圆难题剩余5种情况。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位精选GPT-6 Astra 联手非职业数学家，严格证明 57 年「摆圆」难题的 5 种情况
数学爱好者 nor 使用 GPT-6 Astra，严格证明了 N≤20 的「摆圆」难题中剩余 5 种情况（N=15、16、17、18、20），此前仅 N≤14 和 N=19 已验证。GPT-6 Astra 的核心思路是将无限多种排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列最优。nor 表示，人类在其中负责确定可行性、引导模型、修复问题并手动验证有效性。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。