新华网上海1月10日电(记者 陈潇雨)近日,第十届世界华人数学家大会在上海举办特别夜话活动。在菲尔兹奖得主、中国科学院院士丘成桐主持下,国内外青年数学家与顶尖AI研究团队围绕如何以数学的严谨逻辑纠正人工智能普遍存在的“幻觉”问题展开深度对话。活动现场,大会面向全球发布“人类知识边界:全球数学征解”计划,旨在推动数学与AI协同进化,提升智能系统可靠性与推理能力。
丘成桐在致辞中回顾了计算机科学史上的关键转折点——20世纪60年代,快速傅里叶变换(FFT)的提出大幅下降了计算复杂度,解决了信号处理领域的算力瓶颈。他指出,当前人工智能过度依赖大规模算力和数据,同样亟需一场基于数学根本逻辑的范式变革。
“AI需要的不是更多显卡,而是属于这个时代的‘FFT’。”丘成桐强调,数学所提供的严谨结构与推演体系,有望为AI建立起可解释、可验证的思维框架,从而减少其输出中的不确定性与错误。
“人类知识边界:全球数学征解”计划,由上海市人工智能行业协会携手上海数学与交叉学科研究院发起。计划旨在通过发布分层、开放的数学问题集,吸引全球科研人员、高校师生及AI团队参与解题,共同探索数学逻辑与机器智能结合的创新路径。
该计划围绕不同能力阶段的研究者与AI系统,设置三个渐进的挑战层级:初探,面向本科生的逻辑迷宫;突破,面向硕博的结构洞察;拓界,面向全人类的终极猜想。
此外,本次活动设有实战推演环节,国内四支AI团队面对数学家提出的复杂数学问题,展现了不同程度的逻辑能力突破。
其中,上海AI实验室的“书生”模型,在处理一项关于矩阵递归的高难度数学题时,像人类一样进行了长达数小时的深度推理后才作答。据介绍,“书生”不久前还在2026年中国数学奥林匹克冬令营中表现优异,解题思路被专家认为具备创新性,“解法在人类学生中尚未见过”。

