推文

@tvytlx · 2026-10-11 00:20

一个初三学生，用 Claude 证明了一个挂了 5 年的几何猜想。 先说说这是个什么问题。 17 世纪，莱茵的鲁珀特王子打过一个赌：在一个立方体上挖个洞，能让另一个一模一样大的立方体从洞里穿过去。 后来证明真能做到。 能穿过自己复制品的形状，就叫 Rupert。 很长一段时间，大家觉得凸多面体好像都行。 直到去年，数学家才找到第一个做不到的，起名 Noperthedron。 他们 2021 年还猜过：小斜方截半二十面体，就是那个 62 个面的阿基米德立体，也穿不过自己。 一直没人证出来。 这个兄弟花了几周，和 Claude 一起把它证了。 原来的方法在这玩意上会失效，因为它有 120 种对称，有 4 个特殊姿态会让方法直接崩掉。 他们用 √5 精确算出了这 4 个位置，又补了三个新定理来处理。 最后把所有可能的朝向切成大约 1230 万个小格子，每一格都用区间算术验证，舍入误差骗不过去。 跑了 38 个 CPU 小时。 我觉得最值得看的是他自己写的分工。 数学论证、代码、论文，大头都是 Claude 干的。 他负责选题、每一步定方向，还有检查所有东西。 他让 Claude 从头把整个证明重新核一遍，真挖出了几个实打实的错误，改掉了。 AI 把证明里的体力活接走以后，留给人的是三件事：挑哪个问题，往哪走，以及不轻信它。 还有个细节挺打动我。 他主动交代：差不多同一时间，另外两位研究者用别的方法独立证出了同一个结论，他论文里两篇都引了。 提出原猜想的 Yurkevich 本人，给他的论文做了 arXiv 背书。 我翻了下他的代码仓库，关键结果用三套独立实现交叉复核，0 失败。 说实话，我写了这么多年代码，测试都没这么认真过。 https://www.reddit.com/r/ClaudeAI/comments/1x2eybb/im_a_9th_grader_and_i_used_claude_to_prove_a/

曝光 506 · 评论 1 · 点赞 3 · 书签 3 · 曝光/时 60.47445764690136