杰出的青年数学家与顶尖 AI 团队会碰撞出什么火花？1 月 6 日晚，第十届世界华人数学家大会举行特别夜话，数学家和 AI 团队共同探讨如何用数学的 " 冷 " 逻辑拯救 AI 的 " 热 " 幻觉。活动现场，世界华人数学家大会向全球发布 " 人类知识边界：全球数学征解 "。其中，" 初探 " 是面向本科生的逻辑迷宫；" 突破 " 是面向硕博的结构洞察；" 拓界 " 则是面向全人类的终极猜想。

" 五十年前，计算机工业曾面临过一次生死考验。" 菲尔兹奖得主丘成桐讲起了一段鲜为人知的往事：上世纪 60 年代，计算机处理信号的复杂度被卡在了 N2 物理的墙上。随着数据量增加，计算时间呈指数级爆炸，那是硬件无法逾越的鸿沟。" 当时大家觉得无路走了，直到 1965 年，库利和图基重新发现了快速傅里叶变换（FFT）。" 丘成桐回忆道，数学家仅仅通过利用复数根的对称性，就将复杂度奇迹般地从 N ² 降维到了 NlogN。" 这一下子就改变了整个工业界，没有它，就没有今天的互联网。"

今天，依靠堆砌显卡和能源的 AI，正处于它的 "N2 时代 "。丘成桐说，AI 需要的不是更快的芯片，而是当代的 "FFT"，一种源自数学底层逻辑的范式革命。

此次座谈由上海市经济和信息化委员会指导，上海市人工智能行业协会携手上海数学与交叉学科研究院主办。

这场座谈会可说是一场真刀真枪的 " 图灵测试 "。面对数学家们抛出的难题，国内四大模型战队——上海 AI 实验室、阿里通义、商汤、字节跳动都展示了惊人的进化。

上海人工智能实验室的张文蔚团队让 AI 学会了 " 长考 "。他们展示的 " 书生 " 模型在刚刚结束的中国数学奥林匹克冬令营中，与人类顶尖选手同台竞技并拿下 102 分，远超金牌线的 78 分。阅卷专家评价模型的回答 " 是一个新的解法，巧妙的调整法，结合了几种观察到的东西。在学生的解法中没有见过 "。

阿里通义实验室刘大一恒演示了更深层的思维进化。Qwen3-Max 模型在解决一道关于 " 有限阿贝尔群自同构 " 的抽象代数难题时，起初顺着概率惯性给出了一个推导。但在中间某个节点，屏幕上的光标突然停住了。"Let me verify（让我验证一下）"，模型输出了这样一行字。它 " 意识到 " 了自己的逻辑风险，主动推翻了之前的结论，调用了另一种方法进行交叉验证。经过预训练和强化学习的大规模算力提升后，在没有对数学能力做针对性设计前提下，模型已具备了强大的数学解题和思考泛化能力。

当晚最令人深思的时刻，并非算力的比拼，而是 AI 展现出的 " 数学直觉 "。

商汤科技肖鹏带来的 " 日日新 " 模型，就展示了某种数学家的直觉。在计算一个复杂的广义积分时，模型没有陷入暴力的数值计算，而是敏锐地捕捉到了函数的对称性，利用倒数代换瞬间将难题化归为零。这种 " 避繁就简 " 的能力，被在场数学家称为 " 机器的审美 "，它不再只是计算，它开始懂得 " 巧妙 "。

而字节跳动 Seed 团队的袁正，则介绍了 Seed-Prover 模型采用形式化数学的路径，既保障最终答案正确，也确保每一步推理严格，没有幻觉；借助严格的形式化监督信号，模型可开展持续的强化学习；通过测试时扩展的技术，模型可以提高自己的思考深度、宽度，解决更困难的数学问题。