量子位· 鱼羊·· 14 小时前精选AI 评分74
GPT-6 Astra 联手数学爱好者证明 57 年摆圆难题 N≤20 情形
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
AI 导读
数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况，此前只有 N≤14 和 N=19 得到验证。
推荐理由
数学爱好者用 GPT-6 Astra 严格证明摆圆问题 N=15 至 20 的情形，可看 AI 在数学证明中的实际参与方式。
来源：量子位 · qbitai.com