【2026 Science x AI Summit 系列演讲切片第三期—蒂姆·高尔斯（Tim Gowers）】

在刚刚结束的2026 Science x AI Summit 上，菲尔兹奖得主、剑桥大学教授蒂姆·高尔斯分享了一次引人深思的实验。他用ChatGPT 5.5 Pro，在几十分钟内解决了自己论文中的几个开放问题——其中一个从指数上界改进为多项式上界，另一个经两轮迭代后甚至得出了比MIT年轻学者更优的证明。

“这放在一年前完全不可想象。一个博士论文章节的工作量，AI在一个半小时内完成了。”

但蒂姆·高尔斯随即指出核心困境：我们无法知道AI是怎么想到的，即：
🔹思维链未必真实
🔹试错路径不可见
🔹原创性无法追溯

AI的“思维链”未必真实反映其内部计算过程；我们看不到它尝试过多少失败的路径；它也无法解释自己的灵感来源。数学不仅需要正确的定理，更需要理解定理背后的思想。

为此，蒂姆·高尔斯及其团队正在开发一个“透明证明平台”。该平台将数学证明的发现过程分解为一系列有限、可点击的“动作”（如推广、特殊化、应用引理等），让每一步推理的动机都清晰可追溯。这一平台已获得相关基金支持。

SAIR的使命，正是推动AI从“黑箱输出”走向“可解释协作”，让科学家不仅得到答案，更理解答案的来龙去脉。

“数学需要的不是AI给出的最终答案，而是每一步灵感的可追溯之路。”——SAIR，与思考者同行。

#AI##AIforscience##菲尔兹奖##TimGowers##SAIR##科研##AG##人工智能 ##AGI ##SAIRFoundation# http://t.cn/AX62PKs2