热点事件持续更新

数学爱好者用GPT-6 Astra证明摆圆难题N=15至20

1 篇报道1 个报道来源23 小时前更新

先了解这件事

AI 综述

数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题（圆盘填充）中 N=15、16、17、18 和 20 的最优性。此前该问题仅 N≤14 和 N=19 得到验证，这五种情况是 N≤20 范围内的剩余缺口。据 nor 介绍，Astra 的证明思路是把无限排列缩减为有限情况再逐一排除，分五步完成；nor 本人负责确定可行性、引导模型、修复细节并手动验证结果。

AI 根据报道生成 · 1 小时前更新

最新进展10月12日 15:12

GPT-6 Astra 联手数学爱好者证明 57 年摆圆难题

报道时间线

沿着报道，了解事件的不同侧面。

10月12日

15:12
量子位精选
GPT-6 Astra 联手数学爱好者证明 57 年摆圆难题
数学爱好者 nor 用 GPT-6 Astra 严格证明了 N=15、16、17、18 和 20 的圆盘填充最优性，此前仅 N≤14 和 N=19 得到验证。Astra 的思路是把无限排列缩减为有限情况再逐一排除，分五步完成证明。nor 表示自己负责确定可行性、引导模型、修复细节并手动验证结果。

本事件热度走势

还没有足够的连续观测数据，暂不绘制趋势。