热点事件持续更新
nor借GPT-6 Astra推进圆堆积难题
1 篇报道1 个报道来源8 小时前更新
先了解这件事
SI 综述
数学爱好者nor借助GPT-6 Astra严格证明了圆填充问题中N=15、16、17、18和20的最优解，将获证范围从N≤14与N=19扩至包含这些情形。 此前该圆填充问题57年未解，仅N≤14与N=19获证。GPT-6 Astra通过几何约束缩减可行排列并以计算机枚举完成证明。
SI 根据报道生成 · 51 分钟前更新
最新进展10月12日 15:48
数学爱好者nor借助GPT-6 Astra证明了圆填充问题N=15、16、17、18和20最优解。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- 量子位GPT-6 Astra联手非职业数学家证明57年「摆圆」难题
数学爱好者nor借助GPT-6 Astra严格证明了圆填充问题中N=15、16、17、18和20的最优解，推进了57年未解难题。此前仅N≤14与N=19获证，模型通过几何约束缩减可行排列并以计算机枚举完成证明。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。