2025世界人工智能大会：数学家丘成桐出题 四个大模型当场做题

中国青年报客户端讯（中青报·中青网记者 王烨捷）7月26日至28日，2025世界人工智能大会在上海举办。在由上海市普陀区人民政府与菲数中国主办的“人工智能的数学边界与基础重构”的高端论坛上，顶尖数学家们扎堆出现。

人工智能与数学有着密不可分的关系，在中外大学校园里，数学系的学生与人工智能专业的学生往往可以互转专业，交叉学习。一方面，当大模型参数突破万亿，传统基于经验的调参方法陷入瓶颈，模型的泛化能力、安全性、能耗控制等核心问题，亟待数学理论的系统性支撑；另一方面，AI对数学的反哺效应愈发显著，AlphaGeometry在证明欧几里得平面几何定理方面甚至可以超越IMO（国际数学奥林匹克竞赛）参赛者平均水平，其核心正是将几何问题转化为AI擅长的符号推理任务，这种"AI for Math"的模式正在改写数学研究范式。

今年，两位菲尔兹奖得主这次深度参与了世界人工智能大会。美国数学家、普林斯顿大学的查尔斯·费夫曼（Charles Fefferman）教授带领观众回溯数学与计算的发展历程，从早期机械验证到如今AI赋能的协同演进，为全球研究者指明攻坚方向。

菲尔兹奖首位华人得主、数学家丘成桐教授为论坛特别选题命题，题目由其团队联合欧洲、日本数学家精心遴选，聚焦几何与代数的交叉难题，直接考验AI的深层推理能力，由机器模型现场作答，屏幕实时展示AI推理过程。这种“人类出题—机器作答”的模式，既是对AI能力的检验，也是人机协同的一次生动演示，旨在通过顶尖数学家的“问题嗅觉”，引导AI聚焦真正具有突破性的核心难点，避免技术算力的无效消耗。

丘成桐的命题引发“人机对抗”看点。上海人工智能实验室、商汤科技、阶跃星辰、MiniMax四家机构的基础大模型现场解题，现场左侧的屏幕实时展示AI推理过程。其中，上海人工智能实验室的Intern-IMO系统成功破解2025年国际数学奥林匹克竞赛首题，通过自然语言推理完成几何构型分析与归纳证明，获IMO官方打分员认可，该模型数学直觉比较出色。

商汤科技“日日新”大模型更通过图文混合输入，分别以坐标计算与辅助线构造两种方法求解平面几何题，展现多路径推理能力，对于第一问，它巧妙地运用三项递推关系，通过数学归纳法清晰地证明了多项式的阶数；第二问的证明，通过引入精妙的变量代换，将看似复杂的恒等式两端化归为统一的三角形式；而在第三问证明时，将多项式的内积问题转换回三角函数的求和。整个解答逻辑清晰，层层递进，不仅解决了问题，更揭示了问题背后的数学结构之美。

阶跃星辰模型则在不等式证明中展现“工具调用”能力，当自身代数计算出错时，主动借助外部工具验证并修正思路，最终完成形式化验证。其中，流程中的Step3能正确理解数学中“芽”的概念，并且成功构造出题目所要求的素理想，并且严格验证其满足素性。此外，Step3能通过构造非平凡的函数例子来证明，构造出的素理想非平凡素理想。这也体现了Step3已经具备了理解和运用专业数学知识，并进行成熟的数学逻辑推理的潜力。

MiniMax的M1正确地解答本来的问题之后，还正确地回答了“条件减弱后，结论是否成立”的问题。

圆桌论坛上，数学家与大模型团队展开深度交锋。西班牙国家研究委员会研究员郑凡与上海人工智能实验室专家合作，展示AI对复杂几何题的分步拆解，模型通过分类讨论排除不可能情况，最终锁定阳光线数量规律；复旦大学印佳教授与商汤团队则呈现AI对学生错误解答的批改过程，模型不仅指出角度计算失误，还追溯逻辑漏洞源头。

来源：中国青年报客户端