三花快讯 · 2024, 7月26日
谷歌 AI:国际数学奥林匹克银牌水平
两个专门用于解决数学中的高级推理问题
谷歌 DeepMind 开发了两个突破性模型,专门用于解决数学中的高级推理问题:
- AlphaProof: 全新数学推理 AI 系统 一种基于强化学习的系统,它使用一种名为 Lean 的形式化语言来证明数学陈述。它结合了预训练的语言模型和 AlphaZero 算法,后者曾自学掌握了国际象棋、将棋和围棋。
- AlphaGeometry 2: 专业解决几何问题 基于 Gemini 大模型,并在比前一代更多的数据上进行了训练。能够解决更复杂的几何问题,包括物体运动和角度、比例或距离的方程。
这两模型首次解决了今年 IMO 的六个问题中的四个,达到了银牌水平。
商业转载请联系三花微信公众号获得授权,非商业转载请注明本文出处及文章链接,您可以自由地在任何媒体以任何形式复制和分发作品,也可以修改和创作,但是分发衍生作品时必须采用相同的许可协议。
本文采用 CC BY-NC-SA 4.0 - 非商业性使用 - 相同方式共享 4.0 国际 进行许可。