9年级学生用 Claude 证明几何猜想：小斜方截半二十面体无法穿过自身副本
2026.10.10 · 事件 · AI 事件 · 社区热议
一名9年级学生借助 Claude 完成证明，并获原猜想提出者推荐上 arXiv。
一名 9 年级学生与 Claude 合作，证明了小斜方截半二十面体无法穿过自身副本。他们找到 4 个使既有方法失效的奇异构型，用 sqrt(5) 精确定位，并将全部朝向拆成约 1230 万个盒子用区间算术逐一验证，耗时约 38 CPU 小时。
- 证明小斜方截半二十面体无法穿过自身副本
- 找到 4 个奇异构型并用 sqrt(5) 精确定位
- 计算机验证约 1230 万个盒子，耗时约 38 CPU 小时
- Claude 承担数学论证、代码与论文写作
- 另有两名研究者独立证明同一结果
为什么值得看
中学生用 AI 完成数学证明，展示人机协作新范式。
适合谁关注
关注 AI 辅助科研、数学与教育的人。