发布日期：2024-07-27 19:51    点击次数：85

其中惩处的1个问题是比赛中最难的，在本年的IMO中只须5位选手惩处了这一问题。

IT 之家 7 月 26 日音讯哥哥射，谷歌 DeepMind 团队昨日（7 月 25 日）发布博文，暗意其研发的 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 东谈主得回了金奖。