北京时间4月15日上午8点,2024阿里巴巴全球数学竞赛预选赛正式交卷,58个国家与地区的选手在线鏖战48小时,更有来自全球知名高校院所与企业的563支队伍使用AI作答,其中00后占比超50%。他们各显神通,使用模型调优、AI Agent、提示词工程等多种方式,推动AI构建更强大的数学能力。
阿里巴巴全球数学竞赛组委会介绍,当前,AI已经在不少领域展现超越人类的能力,但在“人类智慧的皇冠”数学领域还颇为受限。因此,从2024年起,阿里巴巴全球数学竞赛决定向AI开放,鼓励探索AI的潜力上限,推动AI在数学领域的研究和应用创新。
在这场48小时的预选赛中,AI和人类选手共用一套试卷,题目包括选择题、解答题与证明题。为了保证公平,防止“人类替考”,组委会制定了“赛前固定方案、赛中诚实答题、赛后复现总结”的三步走规则。因此,在正式开考之前,AI参赛团队就需要完成模型的训练或微调,并锁定做题版本;如使用提示词工程,也需要提前提交相应方案。
AI挑战赛吸引了全球563支队伍踊跃报名,主要来自全球知名高校院所与企业,包括北大、清华、牛津、中国科学院、AWS、字节跳动等,大多具有AI专业背景,也有部分来自数学、物理等专业。统计显示,参赛队伍中,00后占比超50%,年轻一代正在成为AI生力军,用多种形式热情探索AI的数学上限。他们有的在开源大模型的基础上进行专项微调,让AI从初等数学进阶到高等数学;他们有的构建起AI Agent,结合提示词工程来调用GPT-4等闭源模型,使得GPT-4的数学解题能力有大幅提升。
西南交通大学应用物理系的大四学生向劲宇是一名AI开发者,也是MetaGPT-MC小组贡献者之一,这次他和多位开发者组队参赛,使用GPT-4与Claude 3组成Muti-Agent的方案,让AI分饰多个角色、相互验证来完成答题步骤,改善了AI“一本正经的胡说八道”的通病,提升了AI做题的准确性。在AWS从事AI研究的毛帽,是数学专业的博士,已连续三年参赛,今年转换身份,从人类选手转为AI的竞赛辅导员,与同事组成一支“豪华团队”,集合了数学、统计、地球物理及机器学习背景的4名博士,希望能向人类选手们秀一把AI的实力。
由阿里巴巴公益、达摩院共同举办的阿里巴巴全球数学竞赛,以不设报名门槛、趣味十足著称,举办6届以来不断推陈出新,比如把蚂蚁森林种树、张师傅扭宽面等题目引入竞赛,激发全民数学热情。今年,这项赛事更是紧扣AI与数学融合的技术趋势,首次向AI开放,不限选手是碳基还是硅基。(李记)
来源: 光明网
标题:揭秘首个AI数学大赛:为防止人类替考AI“先交代”再交卷
地址:http://www.hmhjcl.com/zhinenmatong/174117.html