银牌组最高分,谷歌DeepMind捅破AI数学推理上限:6道国际奥数题解出4道
银牌组最高分,银牌谷歌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 位选手解决了这一问题。
- 最近发表
- 随机阅读
-
- 128条举报教师的信息,仅7起基本属实,老师就是一个软柿子吗?
- 漫步者推出 HECATE G3000 桌面音箱:270° 光透箱体、7.1 内置芯片、64W 功率,549 元
- OPPO K12 Plus:5G拍照游戏全能王,80W快充雪峰白版,1999元起售
- 优派27英寸4K显示器1579元秒杀!
- 张玉宁赛前:今天回到主场一定有机会
- 消息称三星 One UI 7 的 Home Up 功能可自定义动画曲线、大文件夹
- 朗科越影II系列内存条8GB到手119元!终身保修
- 极致性能首选:铭瑄MS
- 拜合拉木抽射破门 国足1
- 外交部:敦促日本在靖国神社等历史问题上谨言慎行
- 欧洲央行降息25个基点助攻全球“降息潮”,市场预计或继续降息
- 2024新款科沃斯X8PROPLUSAI:13000Pa强力吸尘,66dB静音扫拖,5999元起智能家居清洁新选择
- 祝贺!南京大学校友毛广照教授任爱丁堡大学工学院院长
- 学生在校外被打,深圳市龙华区教育局通报
- 海尔一级能效变频四开门冰箱,到手价2689!
- 西昊M59A人体工学电脑椅超值优惠 仅售464元
- 打击力度降低 事先通报美国 以色列突袭伊朗背后有何战略考量?
- 技嘉魔鹰X Z890 WIFI7电竞主板:2.5Gbps Wi
- AOC冠捷显示器只需1679元即可入手 2K分辨率+260Hz刷新率
- VC套现1.9亿,一家B轮公司卖了
- 搜索
-
- 友情链接
-
- 三星首发!骁龙8 Gen4鸡血版现身跑分网站:4.47GHz主频史无前例
- 想拿最佳年度游戏难!《黑神话》支持率跌下70%:有老外故意刷差评
- 中国发现1亿年前的萤火虫:那时候就能发光了
- 霍启刚、全红婵等,有新身份
- 中国发现1亿年前的萤火虫:那时候就能发光了
- AGON AG246FK显示器评测:540Hz疾速刷新 职业选手优选
- 预制朋友圈火了!出去玩一次发五年
- 调研219篇文献,全面了解GenAI在自适应系统中的现状与研究路线图
- 这个吃鱼最夸张的省,把鱼包进中国最大的饺子!
- 现场实拍:黎以冲突加剧 大批民众逃往叙利亚
- 7月27日雅思大作文示范写作
- 国安vs津门虎首发:4外援PK3外援 张玉宁领衔出战
- 国产AI PC处理器“此芯P1”发布:6nm工艺 高达45TOPS算力
- 赴非参加联合反恐演习,应邀出席多场阅兵庆典!解放军多支部队海外交流演训过八一
- 中国香港选手何诗蓓夺得女子100米自由泳铜牌
- 美联储按兵不动!纳指收涨2.64%,国际油价飙涨
- 智利央行维持利率在5.75%不变
- 美联储宣布维持基准利率在5.25%至5.5%之间不变
- 伊朗指责以色列袭击真主党:“恶毒行动”
- 伊朗外交部回应哈尼亚遇刺:哈尼亚的鲜血“绝不会白流”