AI在线 AI在线

IMO

陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」

陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」
在奥数问题面前，AI 的「智商」往往不太够用。不过，这已经是过去式了。谷歌 DeepMind 用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题，并且距拿金牌仅一步之遥。对于 AI 来说，奥数不再是问题了。IMO 2024 中六个问题的每一个问题满分为 7 分，总分最高 42 分。DeepMind 的系统最终得分为 28 分，意味着解决的 4 个问题都获得了满分 —— 相当于银牌类别的最高分。DeepMind 文章连接： AI 辅助证明的数学家陶哲轩近期正处在出差的忙碌中，对问题求解引擎 AlphaProof
7/28/2024 11:10:00 PM
机器之心
谷歌AI拿下IMO奥数银牌，数学推理模型AlphaProof面世，强化学习 is so back

谷歌AI拿下IMO奥数银牌，数学推理模型AlphaProof面世，强化学习 is so back
对于 AI 来说，奥数不再是问题了。本周四，谷歌 DeepMind 的人工智能完成了一项壮举：用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题，并且距拿金牌仅一步之遥。上周刚刚结束的 IMO 竞赛共有六道赛题，涉及代数、组合学、几何和数论。谷歌提出的混合 AI 系统做对了四道，获得 28 分，达到了银牌水平。本月初，UCLA 终身教授陶哲轩刚刚宣传了百万美元奖金的 AI 数学奥林匹克竞赛（AIMO 进步奖），没想到 7 月还没过，AI 的做题水平就进步到了这种水平。IMO 上同步做题，做对了最难题IMO 是
7/26/2024 10:07:00 AM
机器之心
银牌组最高分，谷歌 DeepMind 捅破 AI 数学推理上限：6 道国际奥数题解出 4 道

银牌组最高分，谷歌 DeepMind 捅破 AI 数学推理上限：6 道国际奥数题解出 4 道
IT 之家 7 月 26 日消息，谷歌 DeepMind 团队昨日（7 月 25 日）发布博文，表示其研发的 AlphaProof 和 AlphaGeometry 2 模型可以解决数学中的高级推理问题，在解答国际数学奥林匹克竞赛难题方面达到银牌标准。AI 模型简介AlphaProof：基于强化学习的全新数学形式推理系统。AlphaGeometry 2：几何解题系统的改进版。DeepMind 团队结合两个 AI 模型，协作解决了今年国际数学奥林匹克（IMO）6 道题目中的 4 道，首次在竞赛中取得与银牌得主同等的成绩
7/26/2024 9:34:54 AM
故渊
中国队喜提六枚金牌，实现IMO团队三连冠：王一川拿下全场唯一满分

中国队喜提六枚金牌，实现IMO团队三连冠：王一川拿下全场唯一满分
在 IMO 2021 的赛场上，中国队又一次实现了「全员金牌」并喜提冠军，来自华师大二附中的选手王一川更是获得了全场唯一的满分成绩。
7/26/2021 4:03:00 PM
机器之心
  • 1