AI在线 AI在线

AlphaGeometry

谷歌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几何推理模型登上Nature，代码开源，菲尔兹奖得主点赞

奥数能力金牌级：DeepMind几何推理模型登上Nature，代码开源，菲尔兹奖得主点赞
这项工作代表了 AI 在数学推理上的能力突破，是开发通用 AI 系统方面的重要里程碑。这一次，人工智能算法在数学奥林匹克竞赛（IMO）上取得了重大成绩突破。在今天发表的国际权威期刊《自然》杂志最新一期上，论文《Solving olympiad geometry without human demonstrations》向世人介绍了 AlphaGeometry，专家表示，这是人工智能朝着具有人类推理能力方向迈进的重要一步。论文链接： 也在论文发表的第一时间将代码和模型开源，GitHub：，来自 Google Deep
1/18/2024 11:56:00 AM
机器之心
  • 1