谷歌DeepMind的AI模型AlphaProof和AlphaGeometry 2在国际数学奥林匹克竞赛中解决了四道题目，达到银牌标准，展示了AI在高级数学推理领域的突破。

🎓 AlphaProof和AlphaGeometry 2这两个AI模型合作，在IMO中解决了四道题目，与银牌得主得分相同。AlphaProof专注于代数和数论问题，而AlphaGeometry 2则专注于几何问题。

👨‍🏫 评分团队由数学家蒂莫西・高尔斯教授和约瑟夫-迈尔斯博士组成，他们对AI模型的解答给予了高度评价，认为其达到了银牌水平。

🚀 这一成就标志着AI在数学推理能力上的巨大进步，尤其是在解决高难度的IMO题目上，AI展现出了与人类顶尖数学家相媲美的能力。

💡 AI模型将IMO题目转换为可理解的数学语言进行解答，显示了AI在理解复杂数学问题上的潜力。

🏆 虽然AI模型在IMO的6道题目中获得了28分，且解决的4个问题都得到了满分，但仍有提升空间，未来可能在数学领域取得更多突破。

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

媒体报道

数学界的AlphaGo时刻：谷歌DeepMind AI 19秒解 IMO几何题，仅差1分即可摘金牌	华尔街见闻
银牌组最高分，谷歌 DeepMind 捅破 AI 数学推理上限：6 道国际奥数题解出 4 道	IT 之家
谷歌AI拿下IMO奥数银牌，数学推理模型AlphaProof面世，强化学习 is so back	机器之心
谷歌AI数学能力大提升 仅差1分即可摘得IMO金牌	财联社
银牌组最高分，谷歌DeepMind捅破AI数学推理上限：6道国际奥数题解出4道	C114 通信网/凤凰科技
谷歌AI拿下IMO奥数银牌	第一财经

事件追踪

2024-07-10 14:31:03	谷歌DeepMind CEO直言：当前 AI 综合智力还不及家猫
2024-06-28 08:51:02	谷歌发布 Gemma 2 开源 AI 模型
2024-03-18 07:31:01	谷歌推出 Cappy “打分”框架，可让“AI 模型更聪明”
2023-12-15 20:32:26	DeepMind论文登上Nature：困扰数学家几十年的难题，大模型发现全新解
2021-05-06 08:49:56	谷歌AI实验室DeepMind向加拿大扩张，成立小型研究团队