在近日举办的“探索人工智能与数学边界”论坛上，一场别开生面的智力较量悄然展开。一方是由著名华人数学家丘成桐领衔的“数学大师团队”，另一方则是上海人工智能界的佼佼者——上海人工智能实验室、商汤科技、阶跃星辰及MiniMax。
数学，尤其是逻辑推理，历来被视为智慧的灯塔。历史上，数学家仅凭纸笔便能穿梭于思维的迷宫，探寻真理的所在。而今，人工智能大模型已初露锋芒，展现出惊人的推理潜能。此次对决中，四大本土AI大模型成功通过了“数学巅峰挑战”，彰显了上海在人工智能领域的强大实力。
论坛上，Hitchin–Ngo实验室（专注于代数几何与数学物理领域）与Fefferman实验室（致力于流体力学与纳维-斯托克斯方程研究）的揭牌仪式同样引人注目，标志着全球数学界的顶尖力量正式入驻上海。
此次挑战赛的题目设计直击AI推理的核心难题。起初，大模型在数学领域并不擅长，它们时常陷入“幻觉”，甚至可能被误导得出错误的结论。然而，新一代大型推理模型的表现却令数学家们刮目相看。这些模型开始尝试模拟数学家逐步推理的过程，而非简单地输出最终结果。
丘成桐对为AI出题表现出浓厚兴趣，他不仅亲自指导团队精心挑选数学题，还邀请国际知名数学家参与命题。这些题目涵盖了几何、不等式极值求解、概率递归等多个领域，难度堪比数学博士的入门级研究。
面对这些博士级的难题，各大AI模型各展所长。上海人工智能实验室的模型在没有图片辅助的情况下，通过深入思考和长时间上下文分析，成功编写出严谨的几何证明。阶跃星辰的模型则在解题过程中实时调用工具进行纠错，并涌现出全新的解题思路。MiniMax和商汤科技的模型也分别展现了出色的解题能力。
数学家们为何热衷于为AI出题？中国科学院院士徐宗本认为，数学不仅是解决问题的工具，更是一门技术。通过AI的答题过程，人们可以窥见AI的“思考方式”，从而为AI框定能力边界和行为准则。
在解题过程中，AI模型的差异化表现也揭示了它们在数学领域的潜力。例如，上海人工智能实验室的模型通过深入思考来构建证明，而阶跃星辰的模型则展现出实时推演和纠错的能力。这些表现都表明，AI在数学领域具有巨大的发展潜力。
AI与数学的结合正日益紧密，成为推动科技进步的“双引擎”。AI的强大推理能力正在解放数学家们，使他们能够专注于更具创造性的问题。尽管真正的创新和突破仍属于人类，但前菲尔兹数学科学研究院院长库马尔·穆尔蒂提醒人们，不要忽视AI的想象力和潜力。他呼吁将数学嵌入到AI之中，跳出思维定式，提出更好的问题。
