⌘ K
… 读取采集状态 同步中...
雷
原文
AITNT AI日报·· 2001-10-13经营分3

GPT-6 Astra 协助数学家证明 57 年「摆圆」难题

刚刚,GPT-6 Astra联手非职业数学家,证明57年「摆圆」 难题

AI 导读

非职业数学家 nor 利用 GPT-6 Astra 严格证明了 N=15、16、17、18 及 20 的圆盘最优排列,填补了 1969 年以来该领域的空白。证明核心是通过几何约束将无限排列缩减为有限情况并逐一排除,人类负责引导模型、修复问题及验证有效性。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:AITNT AI日报 · aitntnews.com