热点事件持续更新

人机合作证明摆圆问题五种情形

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

先了解这件事

AI 综述

数学爱好者 nor 使用 GPT-6 Astra，严格证明了摆圆问题中 N=15、16、17、18 和 20 这五种情形的最优排列，使已完成证明的范围推进到 N≤20。此前未完成的这五种情况由此得到解决。证明方法先用几何约束将无限排列缩减为有限候选，再通过计算机枚举、几何刚性和圆盘接触关系证明最优性；nor 负责引导模型、修复细节并手动验证结果。

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

最新进展10月12日 15:45

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

报道时间线

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

10月12日

15:45
知乎专栏：量子位
GPT-6 Astra与数学爱好者证明N≤20摆圆问题
数学爱好者nor使用GPT-6 Astra，将半径为1的N个圆盘装入最小外圆的问题推进至N≤20，并严格证明了15、16、17、18和20这5种此前未完成的情况。其方法通过几何约束把无限排列缩减为有限候选，再结合计算机枚举、几何刚性和接触关系完成最优性证明。研究过程中，人类负责确定可行性、引导模型、修复细节并手动验证结果。

本事件热度走势

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