银牌组最高分,谷歌DeepMind捅破AI数学推理上限:6道国际奥数题解出4道
时间:2024-09-08 01:45:24 来源:
飒爽英姿网
银牌组最高分,银牌谷歌DeepMind捅破AI数学推理上限:6道国际奥数题解出4道 2024年07月26日 14:47 砍柴网 新浪财经APP 缩小字体 放大字体 收藏 微博 微信 分享 腾讯QQ QQ空间
7 月 26 日消息,组最谷歌 DeepMind 团队昨日(7 月 25 日)发布博文,高分谷歌表示其研发的捅破推理 AlphaProof 和 AlphaGeometry 2 模型可以解决数学中的高级推理问题,在解答国际数学奥林匹克竞赛难题方面达到银牌标准。数学上限数题
AI 模型简介
AlphaProof:基于强化学习的道国道全新数学形式推理系统。
AlphaGeometry 2:几何解题系统的际奥解出改进版。
DeepMind 团队结合两个 AI 模型,银牌协作解决了今年国际数学奥林匹克(IMO)6 道题目中的组最 4 道,首次在竞赛中取得与银牌得主同等的高分谷歌成绩。
评分团队
DeepMind 团队两位专家,捅破推理根据 IMO 的数学上限数题评分规则进行评分,这两位专家分别为:
蒂莫西・高尔斯教授(Prof Sir Timothy Gowers):著名数学家、道国道IMO 金牌得主和菲尔兹奖得主。际奥解出
约瑟夫-迈尔斯博士(Dr Joseph Myers):两届 IMO 金牌得主、银牌IMO 2024 年问题遴选委员会主席
AI 模型推理
AI 会将 IMO 的 6 道题目翻译成为模型可以理解的数学语言。
AlphaProof 通过确定答案并证明其正确性,解决了两个代数问题和一个数论问题,而其中解决的 1 个问题是比赛中最难的,在今年的 IMO 中只有 5 位选手解决了这一问题。
相关内容
- ·如何进行千兆以太网的一致性测试
- ·追究青岛打人女司机刑责,网友呼声该被听见
- ·傅盛:中美大模型最顶尖水平有差距,但肯定没十年那么大
- ·江苏小伙打车11公里被索要800多元,官方回应
- ·28家游戏上市公司半年报解读:三七、世纪华通争做A股游戏第一
- ·二季度净利润环增224%!杉杉股份两大核心主业守得云开见月明
- ·网友建议地铁拒绝“奇装异服人员”?成都地铁回应!
- ·网友建议地铁拒绝“奇装异服人员”?成都地铁回应!
- ·首次公布!河南仰韶村遗址古人基因组数据发表
- ·美国批准向克罗地亚出售价值3.9亿美元军事装备
- ·美联储“最爱”通胀指标2.6%持平前值,降息预期增大
- ·青海海东市降雨导致山体滑坡 有车辆被困
- ·官方泄露PS5 Pro,性能更强的PS5游戏机要来了
- ·多所大学宣布,这些专业停止招生,软件工程或成为一个“新坑”?
- ·新赛季圣诞大战赛程:湖勇大战 掘金对阵太阳
- ·以军第98师撤出加沙 为未来的军事行动做准备
最新内容
推荐内容