近日，第六届阿里巴巴全球数学竞赛（简称“阿里数赛”）的决赛名单揭晓，引发全球关注。在这场全球顶尖的数学竞技场上，不仅有人类选手的激烈角逐，更有563支来自全球知名高校院所和企业的AI队伍参与挑战。而在这场AI与人类智慧的较量中，一个中专女生的表现尤为引人注目——她以优异的成绩从众多名校生中脱颖而出，成为全球30强中唯一的女性选手。
这位名叫姜萍的17岁女生来自江苏涟水中等专业学校，她的参赛经历堪称传奇。在预赛阶段，姜萍就展现出了非凡的数学天赋和扎实的数学基础。她不仅自学了全英文版的《偏微分方程》，还在解题过程中展现出了极高的逻辑推理能力和创新思维。经过多轮选拔，姜萍最终以优异的成绩闯入决赛，成为全球数学界的一颗新星。
与此同时，与姜萍同场竞技的563支AI队伍也备受关注。这些队伍由全球顶尖的科研人员和企业工程师组成，他们利用最先进的AI技术和算法，试图在数学竞赛中与人类选手一较高下。然而，在最终的决赛名单中，却没有一支AI队伍能够晋级。这一结果不仅令人惊讶，也引发了人们对于AI与人类智慧边界的深入思考。
据赛事官方统计，参与竞赛的AI队伍平均分为18分，已经接近了人类选手的平均水平。然而，在最高分方面，AI队伍的表现却远远不如人类选手。AI队伍中的最高分仅为34分，而人类选手中的最高分则高达113分。这一巨大的差距不仅体现了AI在数学领域的局限性，也反映了人类在数学领域的独特优势。
在AI队伍的参赛过程中，不少团队采用了创新的策略和技术来提升AI的数学处理能力。例如，上海建平中学学生涂津豪设计的AI方案就借鉴了自辩论思想，让多个大模型进行多轮的“自问自答自验证”，从而寻求问题的最优解。西南交通大学和中国人民大学的两支AI队伍则分别采用了多智能体系统来优化解题过程。这些创新尝试虽然在一定程度上提升了AI的数学能力，但仍然无法与人类选手的表现相媲美。
那么，为什么AI在数学竞赛中难以超越人类呢？浙江大学计算机系统结构实验室的研究员陈天楚指出，当前的大语言模型在处理数学竞赛这类需要反复试错和深入思考的任务时，还存在局限性。尤其是在复杂推理和严谨思考方面，AI的表现远不如人类。尽管可以通过特定方法促使AI自我质询，但这种提升效果有限，尚不能与受过专业训练的人类相提并论。
此外，赛事组委会在点评中也指出了AI在数学竞赛中的短板。例如，在逻辑推理和证明题方面，AI的表现尤为不足。这类题目需要考生具备深厚的数学基础和严密的逻辑推理能力，而AI在这方面还存在较大的差距。
对于AI在数学竞赛中的表现，不少业内人士和专家也表达了自己的看法。他们认为，虽然AI在某些明确规则和计算密集任务上能够超越人类，但在深度逻辑推理和创新思维领域，人类依然占据主导。因此，在未来的数学竞赛中，AI想要超越人类选手仍然面临诸多挑战。
值得一提的是，姜萍的参赛经历不仅让她个人获得了巨大的荣誉和关注，也为中专生和女性在数学领域的发展树立了榜样。她的成功证明了数学竞赛的公平性和包容性，也为更多人提供了展示自己的舞台。同时，这场AI与人类在数学竞赛中的较量也为人们提供了思考人工智能与人类智慧关系的契机。随着科技的不断发展，人工智能将在更多领域与人类展开竞争和合作。怎样更好地利用人工智能的优势，同时保持人类的独特性和创造力，将是未来需要探讨的重要问题。
