您现在的位置是:知识>>正文
银牌组最高分,谷歌DeepMind捅破AI数学推理上限:6道国际奥数题解出4道
知识752人已围观
简介银牌组最高分,谷歌DeepMind捅破AI数学推理上限:6道国际奥数题解出4道 2024年07月26日 14:47砍柴网 ...
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 位选手解决了这一问题。
Tags:
上一篇:以军宣布打死哈马斯一指挥官
下一篇:逃过一劫!这些基金好运来了?
相关文章
潘功胜:信贷资金不能违规进入股市是底线
知识潘功胜:信贷资金不能违规进入股市是底线2024年10月18日 10:26证券时报网缩小字体放大字体收藏微博微信分享0腾讯QQQQ空间 证券时报e公 ...
【知识】
阅读更多进雨林、穿沙漠,优酷影视制作车助剧组高效拍摄
知识进雨林、穿沙漠,优酷影视制作车助剧组高效拍摄 2024年09月21日 11:13财经网 ...
【知识】
阅读更多三十周年纪念版PS5 Pro实物图
知识三十周年纪念版PS5 Pro实物图 2024年09月21日 12:24快科技 ...
【知识】
阅读更多
热门文章
最新文章
友情链接
- 今年大闸蟹“行情”如何,怎么吃?看这一篇就够了
- 旅游、酒店管理专业改名了,有前途吗?
- 初中物理电学题的第一个拦路虎!解决了它,等于成功了一大半
- OpenAI 高层人事地震:首席技术官 Mira Murati 宣布离职
- 美副国务卿坎贝尔称中国威胁已超越冷战 国防部驳斥
- 最高人民检察院依法对李显刚决定逮捕
- 国产极低温稀释制冷机创运行新纪录
- 想拿最佳年度游戏难!《黑神话》支持率跌下70%:有老外故意刷差评
- Brand Finance:2024年IT服务25强
- 被质疑“频繁套现”!红豆股份实控人周海江最新回应
- 美空军将扩大“印太”地区演习规模
- 小米王腾晒Redmi Note 14真机:温润如玉 精致的不像千元机
- 949 元 24 期免息:Bose QuietComfort SE 无线降噪耳机京东新低
- 乌军称再次突破边境进入俄境内 俄方暂无回应
- 先别说做不到!单输出电源确实能获得正负电压轨!
- 清新萦衣物,舒爽适身心——2024 年度衣物洗烘托管技术论坛在京召开
- 刘世锦:建议推出10万亿经济刺激计划
- 贸泽电子、Silicon Labs和Arduino联手赞助2024 Matter挑战赛
- 他山科技创始人马扬:触觉传感芯片是机器人必经之路
- 佳明推出四款行车记录仪新品,149.99 美元起