AlphaGeometry:奥林匹克级几何 AI 系统

推进数学中的 AI 推理

来源:DeepMind - 新闻与博客

研究

AlphaGeometry:奥林匹克级别的几何 AI 系统

已发布 2024 年 1 月 17 日作者 Trieu Trinh 和 Thang Luong
已发布
2024 年 1 月 17 日
作者
Trieu Trinh 和 Thang Luong

Trieu Trinh 和 Thang Luong

我们的 AI 系统超越了解决几何问题的最先进方法,推动了数学 AI 推理的发展

国际数学奥林匹克体现了古希腊的奥林匹克精神,是当今世界上最聪明的高中数学家的舞台。这项比赛不仅展示了年轻人的才华,还成为了数学和推理领域先进人工智能系统的试验场。

国际数学奥林匹克

在今天发表在《自然》杂志上的一篇论文中,我们介绍了 AlphaGeometry,这是一个人工智能系统,它解决复杂几何问题的水平接近人类奥林匹克金牌得主——这是人工智能性能的突破。在对 30 道奥林匹克几何问题的基准测试中,AlphaGeometry 在标准奥林匹克时间限制内解决了 25 道。相比之下,之前最先进的系统解决了其中 10 道几何问题,而人类金牌得主平均解决了 25.9 道问题。

自然 自然
在我们的 30 道奥林匹克几何问题基准测试集(IMO-AG-30)中,AlphaGeometry 在比赛时间限制内解决了 25 道问题,这些问题是从 2000 年至 2022 年的奥林匹克竞赛中汇编而成的。这接近人类金牌得主在这些问题上的平均得分。之前最先进的方法,即“吴方法”,解决了 10 道问题。
在我们的 30 道奥林匹克几何问题基准测试集(IMO-AG-30)中,AlphaGeometry 在比赛时间限制内解决了 25 道问题,这些问题是从 2000 年至 2022 年的奥林匹克竞赛中汇编而成的。这接近人类金牌得主在这些问题上的平均得分。之前最先进的方法被称为“吴方法”,解决了 10。
AlphaGeometry 代码和模型

Ngô Bảo Châu,菲尔兹奖获得者和国际数学奥林匹克金牌得主

Ngô Bảo Châu,菲尔兹奖获得者和国际数学奥林匹克金牌得主

思考,快与慢