数学爱好者用GPT-6 Astra证明摆圆难题N≤20剩余情况
热点事件持续更新
数学爱好者用GPT-6 Astra证明摆圆难题N≤20剩余情况
1 篇报道1 个报道来源15 小时前更新
先了解这件事
AI 综述
数学爱好者nor借助GPT-6 Astra，严格证明了「摆圆」难题中N=15、16、17、18、20这5种情况的最优性，即N≤20的剩余情形。此前该问题只有N≤14和N=19得到验证。 摆圆难题指将N个单位圆盘装入半径最小的大圆，已悬置57年。报道称N到20并非AI的极限，只是nor暂未继续往下证；且证明并非nor给出一轮提示词就由Astra一次完成。
AI 根据报道生成 · 57 分钟前更新
最新进展10月12日 15:48
GPT-6 Astra 联手非职业数学家证明 57 年「摆圆」难题 N≤20 剩余情况报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位精选GPT-6 Astra 联手非职业数学家证明 57 年「摆圆」难题 N≤20 剩余情况
数学爱好者 nor 用 GPT-6 Astra 严格证明了 N 个单位圆盘装入最小半径大圆问题中 N=15、16、17、18、20 这 5 种情况，即 N≤20 的剩余情形；此前只有 N≤14 和 N=19 得到验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。