谷歌AI拿下IMO奥数银牌，数学推理模型AlphaProof面世，强化学习 is so back
对于 AI 来说，奥数不再是问题了。本周四，谷歌 DeepMind 的人工智能完成了一项壮举：用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题，并且距拿金牌仅一步之遥。上周刚刚结束的 IMO 竞赛共有六道赛题，涉及代数、组合学、几何和数论。谷歌提出的混合 AI 系统做对了四道，获得 28 分，达到了银牌水平。本月初，UCLA 终身教授陶哲轩刚刚宣传了百万美元奖金的 AI 数学奥林匹克竞赛（…- 13
- 0
银牌组最高分，谷歌 DeepMind 捅破 AI 数学推理上限：6 道国际奥数题解出 4 道
IT 之家 7 月 26 日消息，谷歌 DeepMind 团队昨日（7 月 25 日）发布博文，表示其研发的 AlphaProof 和 AlphaGeometry 2 模型可以解决数学中的高级推理问题，在解答国际数学奥林匹克竞赛难题方面达到银牌标准。AI 模型简介AlphaProof：基于强化学习的全新数学形式推理系统。AlphaGeometry 2：几何解题系统的改进版。DeepMind 团队结…- 16
- 0
AlphaProof
扫码打开当前页
- ￥优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×