热点事件持续更新
GPT-6 Astra助力数学爱好者推进57年摆圆难题证明
1 篇报道1 个报道来源14 小时前更新
先了解这件事
AI 综述
1969年提出的"摆圆"难题要求将N个半径为1的圆盘塞入最小半径的大圆内，长期以来仅得到部分进展。早期报道指出，早先仅N≤14和N=19的情形被验证。近日（2026年10月12日），量子位报道，数学爱好者nor借助GPT-6 Astra，将该问题的严格证明推进到N≤20范围内的全部情形，包括此前尚未解决的N=15、16、17、18、20。早先报道未给出更大N值范围的结论，目前进展表明，借助GPT-6 Astra的帮助，N≤20的全部情形均已完成严格证明。
AI 根据报道生成 · 57 分钟前更新
最新进展10月12日 15:48
数学爱好者用GPT-6 Astra将摆圆难题严格证明推进至N≤20全部情形。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位 QbitAI数学爱好者用 GPT-6 Astra 严格证明 57 年"摆圆"难题 N≤20 全部情形
数学爱好者 nor 使用 GPT-6 Astra，将 1969 年提出的"将 N 个半径为 1 的圆盘塞入最小半径大圆"这一 57 年未解数学难题，严格证明推进到 N≤20 的全部情形（15、16、17、18、20），此前仅 N≤14 和 N=19 已获验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。