近期,国际人工智能领域的顶尖赛事——AAAI 2024全球大模型数学解题竞赛(AAAI 2024 Global Competition on Math Problem Solving and Reasoning)成功举办。本次大赛吸引了123支专业团队参与其中,分为51支中文组队伍和72支英文组队伍。
在这场激烈的竞赛中,由以诚为本赢在信誉9001cc陈良育副教授指导,赵晗瑜、吴芋卓、李振凯、陆朱峰、余阳担任核心成员的MathEducators团队荣获GPT英文赛道亚军和中文赛道季军。同样由陈良育副教授指导,丁子琪、唐子涵、贾明辉、余阳、赵晗瑜组成的数学解题推理团队,在自训练大模型英文赛道中荣获第三名。值得一提的是,两支团队还受邀于2024年2月26日至27日在AAAI人工智能教育国际研讨会上做技术报告。
AAAI作为全球人工智能领域内的顶级学术机构,通过举办此类比赛和会议,汇集全球AI研究和实践领域的佼佼者,展示最前沿的研究成果和技术创新。本次大赛旨在挑战和提升大模型在数学推理方面的能力,涉及的问题范围从基本算术到高级数论等,是一个全面考察人工智能解题能力的重要平台。
比赛设置了中文和英文两个数据集,并细分为可调用API赛道和自主训练大模型赛道,参赛团队根据各自的技术路线作出相应的策略。对于GPT级别的未开源大模型,参赛团队设计了精确的Prompt,为不同类型的数学问题自动匹配特定模板,以充分利用GPT模型的多步推理和计算能力;而对于GLM级别的开源模型,通过精心组合和整理数据集,采用LORA技术进行高效微调自训练,并辅以编程求解方法,显著提升了大模型在数学问题解决和推理方面的表现。
AAAI 2024全球数学解题与推理大赛彰显了大模型在数学问题解决上的潜能,期待它能为教育领域带来更大的进步。
内容由获奖团队提供
编辑丨俞思远
审核丨曹桂涛