这次电脑没有干过人脑-563支AI队伍无缘阿里巴巴全球数学竞赛决赛

海纳百航 2024-06-16 14:14:33
阿里巴巴全球数学竞赛

阿里巴巴全球数学竞赛(Alibaba Global Mathematics Competition)由中国科学技术协会、阿里巴巴公益基金会、阿里巴巴达摩院共同举办,面向全球的数学爱好者,集竞赛、培训、交流于一体,旨在全球范围内引领开启关注数学、理解数学、欣赏数学、助力数学的科技风尚。

阿里巴巴全球数学竞赛2018年发起,阿里巴巴公益、达摩院联合举办的阿里巴巴全球数学竞赛,旨在通过有乐趣的竞赛激发人们对数学的热爱,关注这门基础学科。这一赛事吸引了来自全球70多个国家和地区超过25万人次参与,已成为全球规模最大的在线数学竞赛,全社会对数学的热情正在被点燃。

由阿里巴巴公益、达摩院举办的阿里巴巴全球数学竞赛,以不设报名门槛、趣味十足著称,已连续举办六届。

2024年阿里数赛决赛将于6月22日0:00至24:00举行。选手可在周期内选择任意连续的8小时作答,获奖者最终将分享400多万元奖金。

2018年--“最强51人”获得由多位国际著名数学家领衔授课的数学大师班门票

2018年9月18日 ,阿里巴巴CTO张建锋宣布数学比赛正式启动 [10]。12月18日,从阿里巴巴集团旗下阿里云获悉,首届“阿里巴巴全球数学竞赛”决赛获奖名单新鲜出炉,来自北京大学、麻省理工学院、中科院数学与系统科学研究院等20多所高校及研究机构的51人从全球4万多名参赛者中脱颖而出。“最强51人”将获得由多位国际著名数学家领衔授课的数学大师班门票 。

2020年--516名选手成功入围进入决赛,73位最终获奖

2020年3月5日,第二届阿里巴巴全球数学竞赛面向全球数学爱好者启动报名,3月14日正式开赛。在报名的5万余名选手中,516名选手成功入围进入决赛。7月2日,阿里巴巴在线举办颁奖典礼,向来自中、美、法、德、英、俄、新加坡、格鲁吉亚等8个国家的73位最终获奖者颁奖。

2022年--最年轻得奖人16岁

2022年3月14日,2022阿里巴巴全球数学竞赛开启报名,新增优秀奖金。本届大赛吸引了70个国家的55028人注册报名,其中715人入围决赛 。

9月26日,2022阿里巴巴全球数学竞赛公布获奖名单,几十个国家的55000多位报名者中有77人获奖,其中一半是“00后”。刘若川的学生陈泽坤斩获本届大赛金奖,肖梁指导下夺得2022年第63届国际数学奥林匹克满分金牌的瞿霄宇16岁就拿下本届阿里全球数学竞赛优秀奖,成为历年大赛最年轻的得奖人。

2023年北京大学大二学生17岁瞿霄宇成最年轻的满分金奖得主

2023年3月14日,2023阿里巴巴全球数学竞赛正式启动,全球数学爱好者可通过阿里达摩院官网报名。今年赛制和去年一致,总奖金依然高达 400 万人民币 。

6月17日,“阿里巴巴全球数学竞赛”决赛开考,来自全球19个国家的685位选手,从5万多名参赛者中晋级,进行时长8个小时的终极对决。开赛前,阿里巴巴创始人马云来到杭州的赛事现场了解决赛情况,和选手、命题老师在线交流了对数学的理解 [3]。9月16日晚,2023阿里全球数学竞赛落下帷幕,就读于北京大学大二的17岁瞿霄宇,从本届参赛5万名参赛者中脱颖而出,经过预选赛和决赛两轮角逐,成为该项赛事历史上最年轻的满分金奖得主。本次竞赛共产生4名金奖、6名银奖、10名铜奖和50名优秀奖。

2024年--中专生姜萍,初中生王茂骅闯入决赛。

今年共有801名人类选手挺进决赛,遍布全球17个国家与地区,平均年龄22岁,主要来自北大、清华、麻省理工、剑桥等知名高校。江苏省涟水中等专业学校的17岁女生姜萍表现亮眼,从一众名校生中突围,拿到了93分的好成绩,全球排名12,是阿里数赛举办以来首位打进决赛的中专在读生。她专业是服装设计,对数学却十分着迷,花了两年自学偏微分方程,预选赛的两天里除了吃饭、睡觉都在答题,只为证明“女生学数学也可以挺棒的”。

全民参与是该项赛事一大特色,今年超过95%的大众选手止步预选赛,但不妨碍尽享答题过程的乐趣。他们来自千行百业,如监狱警察、医生、快递小哥等,每天为不同工作而奔波,都将数学视为心中的秘密花园。95后河南监狱警察吕致远连续三届参赛,他尝试把数学应用于工作中,比如给监狱报纸设计数学益智题,供服刑人员解谜,还定期举办数学兴趣班。他希望服刑人员即使最后没爱上数学,也更愿意相信思考的力量。

第361名来自浙江诸暨海亮初级中学,搜索资料,这个的确是一位初中生。

他早在小学四年级时就夺得了 CSP-J/S 普及组和提高组两项辽宁省一等奖,并且刷新了全国提高组省一等奖获奖者年龄最小纪录,当时的王茂骅年仅 10 岁!在 2022 NOI 冬令营中,王茂骅还是唯一一位参赛并获得了银牌的小学生选手!2023年11月7日,海亮高级中学再传喜讯,清华大学“丘成桐数学科学领军人才培养计划”2024年第一批通过选拔的认定名单出炉!海亮高级中学庄梓、海亮初级中学王茂骅通过层层选拔成功入选,提前获得清华大学录取资格!

2024年--563支队伍无缘最终角逐

由阿里巴巴公益、达摩院共同举办的阿里巴巴全球数学竞赛,以不设报名门槛、趣味十足著称,举办6届以来不断推陈出新,比如把蚂蚁森林种树、张师傅扭宽面等题目引入竞赛,激发全民数学热情。今年,这项赛事更是紧扣AI与数学融合的技术趋势,首次向AI开放,不限选手是“碳基”还是“硅基”。

4月15日上午8点,2024阿里巴巴全球数学竞赛预选赛正式交卷,58个国家与地区的选手在线激战48小时,更有来自全球知名高校院所与企业的563支队伍使用AI作答。他们各显神通,使用模型调优、AI Agent、提示词工程等多种方式,推动AI构建更强大的数学能力。

据阿里巴巴全球数学竞赛组委会介绍,从2024年起,阿里巴巴全球数学竞赛决定向AI开放,鼓励探索AI的潜力上限,推动AI在数学领域的研究和应用创新。

在这场48小时的预选赛中,AI和人类选手共用一套试卷,题目包括选择题、解答题与证明题。为了保证公平,防止“人类替考”,组委会制定了“赛前固定方案、赛中诚实答题、赛后复现总结”的三步走规则。因此,在正式开考之前,AI参赛团队就需要完成模型的训练或微调,并锁定做题版本;如使用提示词工程,也需要提前提交相应方案。

AI挑战赛吸引了全球563支队伍踊跃报名,主要来自全球知名高校院所与企业,大多具有AI专业背景,也有部分来自数学、物理等专业。统计显示,参赛队伍中,“00后”占比超50%,年轻一代正在成为AI生力军,用多种形式热情探索AI的数学上限。他们有的在开源大模型的基础上进行专项微调,让AI从初等数学进阶到高等数学;他们有的构建起AI Agent,结合提示词工程来调用GPT-4等闭源模型,使得GPT-4的数学解题能力有大幅提升。

本次AI挑战赛结果将于6月与人类选手成绩同期公布。不少选手表示,他们更期待的是,AI的成绩能否达到人类优秀选手水平,能否达到决赛资格线?在往年的阿里巴巴全球数学竞赛中,只有1%的预选赛选手能够晋级决赛。

6月13日,2024阿里巴巴全球数学竞赛(简称“阿里数赛”)公布决赛名单,801人成功晋级,AI队伍未能达到决赛入围分数线,无缘最终角逐。

记者从达摩院方面了解到,统计显示,在全球知名高校院所与企业的563支报名队伍中,参赛AI队伍的平均分已达到人类选手平均水平,但离数学高手仍有较大差距。AI最高分仅为34分,无缘决赛。

据介绍,AI成绩不佳,核心还是由于基础模型的数学能力有限。虽然在面对解答题和证明题时,AI可以通过知识检索等方式拿到基础分,但一旦涉及后续的深入分析,AI就开始出现“知识幻觉”。尤其在面临选择题时,多数AI出现了“蒙题”现象。阿里数赛组委会成员、达摩院决策智能实验室负责人印卧涛表示:“数学是人类智慧的皇冠,AI挑战赛是一项积极尝试,有助于我们持续突破AI的能力上限,带来更多可能。”

和数学相互相依,行将致远的AI技术

奥数的难,正在于人类要用有限的大脑计算能力、有限的时间和资源,用直觉来快速寻求答案,而拥有无穷资源和计算力的AI,则可以用最“笨”的方法穷尽找到答案并比较最优解,虽然呈现出来的最终答题步骤过程可能和奥数优秀的人类类似,但背后的过程却耗费巨大的计算资源。所以如果未来的AI可以达到AIME 9题的水平,甚至成为国家奥数集训队或者国家队成员,都不让人意外。

ChatGPT目前做数学效果一般,本质上定位是语言工具。对它可以解个别奥数题不怀疑,但是稳定的像一个奥数高手那样解题,目前肯定还做不到。另外数学的语言比较复杂,微积分公式的输入和几何图形的输入输出等在当前界面都还做不到。这也是语言计算模型的一个局限了。

一位数学教授回答说,未来是可能做到的。只要有丰富的数学题库,强大的机器学习下,AI可以穷尽所有题型和方法,因为AI的强大的计算处理能力,仿佛是一万个脑袋在同时解一道题,或者说是一个人可以用一万个小时来解一道题。

,AI永远不可能做到的就是数学研究,因为学术的探索没有固定答案,不能通过简单的强大计算能力来穷尽可能性,更需要创造能力。但是不能否认的是,拥有创造能力的人类研究者可以利用强大计算能力的AI来为之所用,提升数学解题和研究的效率。

数学之于AI,AI之于数学,是相互相依的关系。在追上人类前,AI也许可以成为学生和数学家的助手,发挥搜索、记忆以及计算速度上的优势,帮助人类去解题。而另一方面,没有数学理论的支持,AI也很难行稳至远。

0 阅读:0

海纳百航

简介:感谢大家的关注