当AI与数学同时走下神坛

文章摘要

【关 键 词】 AI竞赛、数学创新、平民参与、策略多样、学科融合

2024年4月13日，阿里巴巴全球数学竞赛首次尝试让AI与人类同场竞技。在这场特殊的赛事中，数万名数学高手和563个AI答题者共同面对挑战，用48小时完成20分的选择题和100分的解答题。尽管AI最终并未超越人类，但其答案和表现展示了AI与数学结合的潜力。

赛事中，组委会允许任何形式的AI参赛，为保证公平，设定了提交AI方案的截止时间，并要求选手在报名后一个月内自行设计策略，完善AI模型。其中，采用“闭源+提示词工程”的方法的选手朱方圆，通过给AI设定奖励机制，提升了答题成功率。另一位选手涂津豪则借鉴辩论思想，让AI模型通过对话寻找更优答案。

意外的是，这些看似简单的策略在比赛中超越了预计表现更好的“资源集中型”方案。尽管AI的最高分仅为34分，且无AI入围决赛，但赛事的意义远超出分数。它降低了数学和AI的门槛，让更多平民爱好者参与其中。选手们通过训练AI解答数学题，带来了许多新奇的策略，展现出数学与AI结合的新可能性。

AI在答题过程中表现出了对数学的独特理解。例如，AI会采取较长的推理过程，有时甚至能在完全离题的情况下意外答对。这引发了评委们对AI理解数学的新发现。同时，AI在某些领域已展现出超越人类的潜力，如AlphaGeometry在奥数几何题中的表现。

著名数学家陶哲轩等已开始积极拥抱AI工具，认为AI能让业余数学家为数学做出贡献。此次赛事表明，数学和AI的发展不应只停留在“神坛”上，而是要让更多人参与，推动这两个关键学科和技术的进步。

原文和模型

【原文链接】 阅读原文 [ 3701字 | 15分钟 ]
【原文作者】 硅星人Pro
【摘要模型】 glm-4
【摘要评分】 ★★★★★

智谱AI

智谱AI是一家国内的AI大模型...