谷歌 DeepMind 团队开发的 AI 模型 AlphaProof 和 AlphaGeometry 2 能够解决高级数学推理问题，达到国际数学奥林匹克竞赛银牌标准。这两个模型合作解决了今年 IMO 的 4 道题目，获得了与银牌得主相同的评分。评分团队由数学家蒂莫西・高尔斯教授和约瑟夫-迈尔斯博士组成。AI 模型将 IMO 题目转换为可理解的数学语言，AlphaProof 解决了两个代数问题和一个数论问题，而 AlphaGeometry 2 证明了几何问题。该系统在 IMO 的 6 道题目中获得了 28 分，在解决的 4 个问题中每个问题都得到满分。