看到磐石百模的消息，心里是欢喜的。搞了几十年微分几何，最知道手算曲率张量的苦头。年轻时常为了一组Christoffel符号熬到深夜，如今AI能帮着做符号推演…，真是省了好多气力。

不过呢，是呢，我也有些放心不下。几何里的真东西，往往不是算出来的，是“看”出来的。Levi-Civita联络后面藏着平行移动的几何直觉，Riemann张量包着曲率的几何图像。若磐石只会符号推演，却不曾养出这份空间直觉，怕是要走些弯路。

但话说回来，能把符号计算和数值验证拧成一股绳，确实是条新路。尤其对咱们做纤维丛、示性类的，自动验证Bianchi恒等式这类工作，机器比人眼更不易倦。只希望这百模落地生根时，别忘了数理研究最终是要通向理解的，不是堆积正确的式子便算完事。后生们觉得呢？