中华网 china.com

新闻

谷歌DeepMind捅破AI数学推理上限 IMO竞赛达银牌水准

小 大

用微信扫描二维码
分享至好友和朋友圈

关键词：
2024-07-26 16:53:03  IT之家

谷歌DeepMind捅破AI数学推理上限

7月26日，谷歌DeepMind团队公布了一项研究进展，他们在博客中介绍，自主研发的AlphaProof和AlphaGeometry 2两款AI模型成功挑战了数学领域的高级逻辑难题，达到了国际数学奥林匹克竞赛(IMO)银牌水平的解题能力。

谷歌DeepMind捅破AI数学推理上限

AlphaProof是运用强化学习构建的创新数学推理系统，而AlphaGeometry 2则是对原有几何问题求解系统的优化升级。通过这两个模型的协同工作，DeepMind团队在本年度IMO的6个赛题中攻克了4题，首次与IMO银牌获奖者的解题成绩比肩。

谷歌DeepMind捅破AI数学推理上限 IMO竞赛达银牌水准

为了确保评估的公正性和专业性，DeepMind组建了一个由顶尖数学家构成的评审小组，成员包括IMO金牌得主及菲尔兹奖获得者蒂莫西·高尔斯教授，以及两度摘得IMO金牌、现任IMO 2024年问题挑选委员会主席的约瑟夫-迈尔斯博士。他们依据IMO的标准对AI解题成果进行了评判。

谷歌DeepMind捅破AI数学推理上限 IMO竞赛达银牌水准

AI模型的运作机制涉及将IMO的赛题转化为模型可解读的数学表述。具体而言，AlphaProof专注于代数和数论问题，不仅找出了两个问题的答案，还完成了证明，其中一个被证实是最具挑战性的题目，仅本届IMO中有5名选手成功解答。AlphaGeometry 2则专注于几何题，但在组合问题上未能找到解决方案。

按照IMO的计分制度，每题满分为7分，总分42分。DeepMind的这套系统总共获得了28分，意味着每道被解决的问题均得到了满分，这一成绩等同于银牌选手的顶级表现。尽管如此，2024年金奖的最低分数线设定在29分，当年共有58名参赛者在609人的激烈竞争中赢得了金奖殊荣。

(责任编辑：卢其龙 CN070)
关闭

土耳其官员称在黑海沿岸发现疑似乌克兰海军无人艇：装有炸弹及多个摄像头

土耳其官员称在黑海沿岸发现疑似乌克兰海军无人艇：装有炸弹及多个摄像头2024-07-26 16:52:03

巴黎奥运会十大高颜值美女运动员 赛场上的颜值与实力担当

巴黎奥运会十大高颜值美女运动员2024-07-26 16:51:13

网红徐静雨巴黎打车被坑 66%坑中率揭秘

网红徐静雨巴黎打车被坑2024-07-26 16:50:28

李宛妲为角色“冯宝宝”进行止语训练：第一天特别兴奋，从第二天开始就感觉很孤独

李宛妲为角色“冯宝宝”进行止语训练2024-07-26 16:48:14

全红婵因跳207C饱受折磨 难度巅峰挑战不断

全红婵因跳207C饱受折磨2024-07-26 16:49:01

想深度捆绑美国！以色列总理提出建“中东版北约”，引多方警惕批评！

想深度捆绑美国！以色列总理提出建“中东版北约”，引多方警惕批评！2024-07-26 10:00:03

萌娃在高铁上撒娇求妈妈哄自己 网友：“果然女孩子从小就有撒娇天赋

萌娃在高铁上撒娇求妈妈哄自己2024-07-26 16:46:15

记者谈阿根廷国奥比赛中遇到的闹剧 补时绝平被取消引争议

记者谈阿根廷国奥比赛中遇到的闹剧2024-07-26 16:48:48

土耳其官员称在黑海沿岸发现疑似乌克兰海军无人艇：装有炸弹及多个摄像头

土耳其官员称在黑海沿岸发现疑似乌克兰海军无人艇：装有炸弹及多个摄像头2024-07-26 16:52:03

中信建投实习生泄露IPO材料 合规风险引热议

中信建投实习生泄露IPO材料2024-07-26 16:49:43

中国选手30秒单摇跳绳230个夺冠 刷新世界纪录

中国选手30秒单摇跳绳230个夺冠2024-07-26 16:47:41

乌克兰，对中国态度有变化

乌克兰，对中国态度有变化2024-07-26 09:33:16

白宫：美国暂停为以色列提供2000磅炸弹的政策尚未改变

白宫：美国暂停为以色列提供2000磅炸弹的政策尚未改变2024-07-26 10:06:11

石家庄一村民盖房挖出疑似宋朝古墓 盖房挖基发现秘境

石家庄一村民盖房挖出疑似宋朝古墓2024-07-26 16:46:10

巴黎奥运会十大高颜值美女运动员 赛场上的颜值与实力担当

巴黎奥运会十大高颜值美女运动员2024-07-26 16:51:13

新东方不会持有与辉同行任何股份 俞敏洪坚定表态

新东方不会持有与辉同行任何股份2024-07-26 16:43:35

防抗台风格美民警在行动 强化警企合作保安全

防抗台风格美民警在行动2024-07-26 16:49:14

美军罕见公开核潜艇在关岛补弹照片，有何意图？

美军罕见公开核潜艇在关岛补弹照片，有何意图？2024-07-26 10:09:45

沈阳一路口约30平方米路面塌陷 应急抢险进行中

沈阳一路口约30平方米路面塌陷2024-07-26 16:48:41

一年研发砸399亿！比亚迪：不遗余力投入 要卷就卷技术 专利申请破万件

一年研发砸399亿！比亚迪：不遗余力投入 要卷就卷技术2024-07-26 16:47:49

掩盖紧张关系？美媒：拜登在白宫见内塔尼亚胡，双方面对镜头表现“礼貌友好”

掩盖紧张关系？美媒：拜登在白宫见内塔尼亚胡，双方面对镜头表现“礼貌友好”2024-07-26 10:11:09

当王毅的面，印度外长说了这样一句话

当王毅的面，印度外长说了这样一句话2024-07-26 09:35:18

网红徐静雨巴黎打车被坑 66%坑中率揭秘

网红徐静雨巴黎打车被坑2024-07-26 16:50:28

奥运足球 亨利的法国国奥 菱形中场也面临和中国队类似的问题

奥运足球 亨利的法国国奥 菱形中场也面临和中国队类似的问题2024-07-26 16:47:58

严重事故不断！造船厂为什么总让印度海军“受伤”？

严重事故不断！造船厂为什么总让印度海军“受伤”？2024-07-25 10:06:09

波音公司被逼成这样了？

波音公司被逼成这样了？2024-07-26 09:37:58

美国防部发布《2024年北极战略》 欲强化在北极地区的存在

美国防部发布《2024年北极战略》 欲强化在北极地区的存在2024-07-25 09:54:47

以色列总理在美国国会发表讲话 称将继续军事行动

以色列总理在美国国会发表讲话 称将继续军事行动2024-07-25 10:00:23

国防部：中俄在白令海组织联合空中战略巡航

国防部：中俄在白令海组织联合空中战略巡航2024-07-26 09:45:17

外媒炒作：“忌惮中国”美越F-16军售无进展，越南改买美军用运输机

外媒炒作：“忌惮中国”美越F-16军售无进展，越南改买美军用运输机2024-07-26 09:52:32

美媒：内塔尼亚胡到白宫椭圆形办公室见拜登，感谢后者“50年来对以色列的支持”

美媒：内塔尼亚胡到白宫椭圆形办公室见拜登，感谢后者“50年来对以色列的支持”2024-07-26 10:10:33

台退役少将：这样恐怕会“团灭”

台退役少将：这样恐怕会“团灭”2024-07-26 09:42:09

中俄轰炸机巡航白令海，轰-6首次飞抵阿拉斯加附近！军事专家解读

中俄轰炸机巡航白令海，轰-6首次飞抵阿拉斯加附近！军事专家解读2024-07-26 09:59:35

为中国健儿加油 巴黎奥运争辉

为中国健儿加油2024-07-26 16:49:31

“里根”返回美国，与“华盛顿”在圣迭戈交接班

“里根”返回美国，与“华盛顿”在圣迭戈交接班2024-07-26 09:47:08

相关新闻

主编邮箱
网上不良信息举报电话：010-56177181
关于中华网 | 广告服务 | 联系我们 | 招聘信息 | 版权声明 | 豁免条款 | 友情链接 | 中华网动态
版权所有 中华网