在算力竞赛日益白热化的当下，人工智能正逼近一堵名为“逻辑之墙”的屏障。模型更庞大、参数更繁多，却依然难以摆脱幻觉与不确定性的困扰。AI究竟为何需要学习数学？菲尔兹奖得主丘成桐院士在上海提出了这个根本性问题。

在第十届世界华人数学家大会特别夜话中，丘成桐院士回顾了计算机发展史上的关键转折：上世纪60年代，硬件一度被计算复杂度“卡住了脖子”，而真正改变产业走向的并非单纯算力提升，而是快速傅里叶变换（FFT）这一数学算法的突破。“今天的AI也需要属于自己的FFT时刻。”他强调，AI学习数学，并非为了算得更快，而是为了从概率走向逻辑，从经验走向确定。

在活动现场，上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新的探索成果。部分模型已初步具备长程推理与自我校验能力，能在推导过程中主动修正路径；也有模型在复杂计算中巧妙利用对称性完成化简，展现出接近数学直觉的判断力。这些尝试表明，AI正从“会解题”迈向“能研究”。

活动同期发布了“人类知识边界：全球数学征解”计划，旨在以数学难题牵引模型能力突破，构建“数学—模型—应用”的创新生态。正如丘成桐所言，五十年前，数学深刻改变了计算机工业；今天，数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中，上海正从基础逻辑处落子布局。

编辑: 杜梦渊

责编: 樊昊