中国青年报客户端报道，7月26日至28日，2025世界人工智能大会在上海成功召开。此次大会期间，由上海市普陀区人民政府携手菲数中国共同主办的“人工智能的数学边界与基础重构”高端论坛备受瞩目。众多顶尖数学家齐聚一堂，共同探讨这一领域的最新进展。
人工智能与数学的联系紧密，这一特点在中外各大学的校园中尤为明显，数学系的学生和人工智能专业的学生常常能够互相转换专业，进行跨学科的学习。一方面，随着大模型参数量超过万亿，传统的经验调参手段遭遇了发展障碍，模型在泛化能力、安全性以及能耗控制等关键领域亟需数学理论的全面支持；另一方面，人工智能对数学领域的回馈作用日益凸显，AlphaGeometry在证明欧几里得平面几何定理时，甚至能超越国际数学奥林匹克竞赛参赛者的平均水平，其关键在于将几何问题转化为AI擅长的符号推理任务，这种“AI助力数学”的模式正在重塑数学研究的路径。
今年，两位菲尔兹奖获得者深度参与了世界人工智能大会。美国数学家、普林斯顿大学的查尔斯·费夫曼（Charles Fefferman）教授亲自引领，带领大家回顾了数学与计算技术的演变轨迹。从最初的机械验证阶段，到如今人工智能技术的助力下，两者实现了协同发展。这一过程中，费夫曼教授为全球的研究者们指明了攻克难题的路径。
数学家丘成桐教授，作为菲尔兹奖首位华人获得者，为此次论坛精心挑选了专题题目。这一题目是由他领导的团队与欧洲及日本数学家共同筛选而出，主题集中在几何与代数相互交织的复杂问题上。这些问题直接对AI的深度推理能力进行了考验。在活动现场，由机器模型进行了即时解答，并通过屏幕实时呈现了AI的推理步骤。这种“人设题目—机解答案”的模式，不仅是对人工智能能力的测试，更展现了人机合作的精彩画面；它旨在借助顶尖数学家的敏锐“问题洞察力”，引导AI集中攻克那些真正具有突破性的关键难题，从而避免技术算力的无谓浪费。
丘成桐的命题引发了“人机对抗”这一引人注目的焦点。上海人工智能实验室、商汤科技、阶跃星辰、MiniMax四家机构纷纷在现场对基础大模型进行解题。同时，左侧的屏幕也在实时地展示着AI的推理过程。上海人工智能实验室研发的Intern-IMO系统在2025年国际数学奥林匹克竞赛中一鸣惊人，成功攻克了首题。该系统运用自然语言推理技术，对几何构型进行了深入分析与归纳证明，其数学直觉表现尤为出色，赢得了IMO官方评分员的肯定。
商汤科技的“日日新”大模型在处理平面几何问题时，采用了图文混合输入的方式，并运用了坐标计算和辅助线构造两种不同的方法。它展示了出色的多路径推理能力。对于第一问，它巧妙地利用了三项递推关系，并运用数学归纳法，对多项式的阶数进行了清晰的证明。在第二问的证明过程中，它巧妙地引入了变量代换，将原本复杂的恒等式两端转化为统一的三角形式。而在第三问的证明中，它则将多项式的内积问题转换为了三角函数的求和问题。解答思路条理分明，逐层深入，不仅有效解决了问题，而且还揭示了问题背后所蕴含的数学结构之妙。
阶跃星辰模型在处理不等式证明时，展现出其“工具调用”的技能。当模型在代数计算上出现失误，它会主动寻求外部工具的支持，以验证并更正其思路，从而确保形式化验证的顺利完成。特别地，在流程的第三步，该模型能够准确把握数学中“芽”的定义，并成功构建出题目所需之素理想，进而对其素性进行了严格的检验。此外，Step3能够通过创建非同寻常的函数实例来展示，所形成的素理想并非平凡；这一点亦反映出Step3在掌握和运用专业数学知识，以及进行成熟的数学逻辑推演方面所展现出的潜力。
MiniMax的M1在准确解答了原本的问题后，又精准地解决了“在条件有所降低的情况下，该结论是否依然有效”的问题。
在圆桌论坛的讨论中，数学领域的专家学者与人工智能研究团队进行了深入的交流。来自西班牙国家研究委员会的郑凡研究员与上海人工智能实验室的专家携手，共同展示了人工智能在解决复杂几何问题时的分步解析能力，该模型通过分类讨论来排除不可能的选项，并最终确定了阳光线数量的规律性；而复旦大学的印佳教授与商汤团队则向与会者展示了人工智能对学生错误解答的批改过程，模型不仅指出了角度计算上的错误，还追溯并揭示了逻辑错误产生的根本原因。
