热点事件持续更新

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

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

先了解这件事

AI 综述

数学爱好者 nor 使用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况的最优性，从而补齐了 N≤20 的剩余情形。此前该问题只有 N≤14 和 N=19 得到验证。摆圆问题已悬置 57 年，此次证明使 N≤20 全部情形获得严格验证。

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

最新进展10月12日 15:48

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

10月12日

15:48
量子位精选
GPT-6 Astra 联手数学爱好者证明 57 年摆圆难题 N≤20 情形
数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况，此前只有 N≤14 和 N=19 得到验证。

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