数学爱好者用GPT-6 Astra证明N≤20摆圆难题
热点事件持续更新
数学爱好者用GPT-6 Astra证明N≤20摆圆难题
1 篇报道1 个报道来源10 小时前更新
先了解这件事
AI 综述
数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 五种圆盘填充情形的最优性。此前这些情形尚未得到验证，已知结果仅覆盖 N≤14 和 N=19。 据 nor 介绍，GPT-6 Astra 的思路是用几何约束把无限种排列缩减为有限情况，再由计算机逐一排除，从而证明经典排列最优。nor 称人类贡献包括确定可行性、引导模型、修复细节和手动验证，并用 Astra 与 Opus 5.5 重新检查了全部内容。
AI 根据报道生成 · 3 小时前更新
最新进展10月12日 15:48
数学爱好者用 GPT-6 Astra 证明 N≤20 的摆圆难题报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位数学爱好者用 GPT-6 Astra 证明 N≤20 的摆圆难题
数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 五种圆盘填充情形，此前仅 N≤14 和 N=19 得到验证。GPT-6 Astra 的思路是通过几何约束把无限排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列最优。nor 表示人类贡献包括确定可行性、引导模型、修复细节和手动验证，并用 Astra 与 Opus 5.5 重新检查全部内容。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。