热点事件持续更新
数学爱好者借助AI证明57年圆盘装填难题
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月，数学爱好者 nor 借助 GPT-6 Astra，成功严格证明了困扰数学界57年的未决几何难题中 N 为 15、16、17、18 和 20 的圆盘最优填充方案，补齐了 N≤20 范围内的所有剩余情况。在求解过程中，GPT-6 Astra 采用几何约束将无限排列缩减为有限空间，并通过计算机枚举与刚性分析证明了经典解的最优性。nor 负责引导整体推导方向并手动校验细节，最终还联合 Opus 5.5 完成了全面复核。
AI 根据报道生成 · 2 小时前更新
最新进展10月13日 17:54
数学爱好者nor借助GPT-6 Astra证明了圆盘填充难题N≤20的剩余情形，并联合Opus 5.5完成复核。报道时间线
沿着报道，了解事件的不同侧面。
10月13日
- AITNT · AI头条数学爱好者借助 GPT-6 Astra 证明 57 年圆盘填充难题 N≤20 剩余情形
数学爱好者 nor 借助 GPT-6 Astra，成功严格证明了 57 年未决几何难题中 N 为 15、16、17、18 和 20 的圆盘最优填充方案，补齐了 N≤20 范围内的所有剩余情况。GPT-6 Astra 采用几何约束将无限排列缩减为有限空间，通过计算机枚举与刚性分析证明经典解的最优性。nor 负责引导推导方向并手动校验细节，最后联合 Opus 5.5 完成了全面复核。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。