量子位· 鱼羊·· 15 小时前精选AI 评分57
GPT-6 Astra 联手非职业数学家证明 57 年「摆圆」难题 N≤20 剩余情况
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
AI 导读
数学爱好者 nor 用 GPT-6 Astra 严格证明了 N 个单位圆盘装入最小半径大圆问题中 N=15、16、17、18、20 这 5 种情况，即 N≤20 的剩余情形；此前只有 N≤14 和 N=19 得到验证。
推荐理由
梳理了该难题57年的证明进展脉络，读者可据此理解AI这次推进的具体位置。
来源：量子位 · qbitai.com