资讯
7月26日消息，DeepMind团队在最近的博文中宣布，其开发的AlphaProof和AlphaGeometry 2模型展现了杰出的数学推理能力，能够应对国际数学奥林匹克竞赛级别的难题，并取得了相当于银牌的成绩，这标志着人工智能在解决复杂数学问题上取得了新的突破。
AI 模型简介
AlphaProof：基于强化学习的全新数学形式推理系统。
AlphaGeometry 2：几何解题系统的改进版。
DeepMind 团队结合两个 AI 模型，协作解决了今年国际数学奥林匹克（IMO）6 道题目中的 4 道，首次在竞赛中取得与银牌得主同等的成绩。
评分团队
DeepMind 团队两位专家，根据 IMO 的评分规则进行评分，这两位专家分别为：
蒂莫西・高尔斯教授（Prof Sir Timothy Gowers）：著名数学家、IMO 金牌得主和菲尔兹奖得主。
约瑟夫-迈尔斯博士（Dr Joseph Myers）：两届 IMO 金牌得主、IMO 2024 年问题遴选委员会主席
AI 模型推理
AI 会将 IMO 的 6 道题目翻译成为模型可以理解的数学语言。
AlphaProof 通过确定答案并证明其正确性，解决了两个代数问题和一个数论问题，而其中解决的 1 个问题是比赛中最难的，在今年的 IMO 中只有 5 位选手解决了这一问题。
AlphaGeometry 2 证明了几何问题，没有解决 2 个组合问题。
AI 模型结果
按照 IMO 规则，6 道题目每道题可获得 7 分，总分最高为 42 分。
DeepMind 系统最终获得了 28 分，每个问题都得到了满分，相当于银牌组的最高分。
2024 年的金奖门槛从 29 分开始，在正式比赛中，609 名参赛者中有 58 人获得了金奖。
文明上网，理性发言，共同做网络文明传播者