这是个很有意思但本质上"难以通约"的比较——两者的难度体现在完全不同的维度上，很难放在同一把尺子上称重。不过可以拆开来看看各自"难"在哪里。 挂谷猜想证明：难在"单点突破" 智力密度极高，但资源门槛低 。理论上一支笔、一叠纸、一个足够聪明且训练有素的大脑就够了。王虹和 Zahl 不需要巨额资金、算力或团队。 难度是"存量"性质的 ：这个问题卡了 100 多年，陶哲轩、Guth 等顶尖数学家都只拿到局部进展。它的难,在于要找到一个此前所有人都没想到的视角（"颗粒法"绕开管子）。这种难更接近"在已经被无数聪明人反复扫描过的空间里，找到一条谁都没看到的缝隙"。 可验证性强、结果唯一 ：证明对就是对，不存在"差不多对"，同行评审能给出确定性的判断。 不可并行、不可迭代试错 ：不能靠"多算几次"或"堆更多人"线性地降低难度，很大程度依赖个人或极小团队的顿悟式突破。 训练 Opus 4.8 级别的大模型：难在"系统性整合" 难度是"系统工程"性质的 ：涉及数据获取与清洗、预训练架构设计、大规模分布式训练系统、RLHF/对齐方法、安全评估、推理优化等...