九年级生与 Claude 联手证明几何猜想，机器验证 1230 万种朝向
Gihyo0921 · reddit · 2026-10-10
一位九年级学生宣布与 Claude 合作证明了数学家 2021 年提出的猜想：阿基米德立体 rhombicosidodecahedron 无法穿过其自身的复制品（即非 Rupert 性质）。去年数学家刚发现首个此类凸形 Noperthedron。
要点：
- 原有证明方法因该形状的 120 个对称性失效，作者与 Claude 找到 4 个"奇异"构型，用 sqrt(5) 精确定位，并证明了新定理处理它们。
- 最终计算机验证将所有可能朝向分成约 1230 万个盒子，用区间算术逐一验证（避免舍入误差），耗时约 38 CPU 小时。
- Claude 承担了大量数学论证、代码和论文写作；作者负责选题、方向决策和核查。让 Claude 从头复查时还发现并修复了几处真实错误。
- 另有两位研究者 Bence Hervay 和 Oscar Smith 用不同方法独立证明了同一结果，论文均引用；原始猜想提出者之一 Sergey Yurkevich 为论文背书，即将上 arXiv。
「研究」频道最新
- 循环模型新方法:1.6B 模型用 1/3 KV 缓存追平全缓存基线 — rupspace · 2026-10-11
- 纯 RL 训出的机器人自创杆上立杆、原地翻螺母等人类不会教的策略 — KyleMorgenstein · 2026-10-11
- 用一个三分类例子讲透 Softmax 与交叉熵的分工与梯度 — techNmak · 2026-10-11
- PartLLM 登陆 SIGGRAPH Asia：LLM 驱动任意粒度 3D 网格部件分割 — Promptmethus · 2026-10-11
- Duo Bregman伪散度实现截断指数族KL散度闭式计算 — FrnkNlsn · 2026-10-11
- 26 模型 228 任务:METR 时间视界曲线 2-30 分钟段近乎平坦 — lulzxdxdxd · 2026-10-11