人工智能在国际数学奥林匹克中达到银牌标准

谷歌的人工智能系统AlphaProof和AlphaGeometry 2取得了突破性成就，成功解决了2024年国际数学奥林匹克（IMO）中的六个问题中的四个，获得了相当于银牌的分数。这是首次有人工智能系统在这一享有盛誉的比赛中达到如此高水平的表现。

AlphaProof是一种强化学习系统，解决了两个代数问题和一个数论问题，包括本次比赛中最具挑战性的题目。AlphaGeometry 2是其前身的改进版本，解决了几何问题。这些人工智能系统总共获得28分，在每个解决的问题上都得到了满分。

自1959年以来，每年举办一次的IMO是年轻数学家们竞争激烈的重要赛事。今年，共有609名参赛者中，有58人获得金牌，得分为29分或更高。

AlphaProof是一种基于强化学习的形式化数学推理系统，能够证明数学陈述的正确性。它结合了预训练语言模型和AlphaZero强化学习算法，使用形式语言Lean进行训练和推理。

AlphaGeometry 2是改进版的几何问题解决系统，采用神经符号混合方法，并在大量合成数据上进行了训练。该系统能够更快、更高效地解决几何问题。

国际数学奥林匹克简介：IMO是历史最悠久、规模最大、最负盛名的青年数学竞赛，每年吸引世界顶尖的预科学家参加。
模型表现：在今年的IMO中，AlphaProof和AlphaGeometry 2共解决了四个问题，得到了28分，与银牌得主的成绩相当。
AlphaProof的工作原理：通过训练数百万个数学问题，AlphaProof生成并验证解决方案，强化其语言模型的推理能力。
AlphaGeometry 2的改进：通过更快的符号引擎和知识共享机制，AlphaGeometry 2在更短时间内解决了更多复杂的几何问题。

如果想详细了解，可以点开视频下方的链接。
谢谢观看本视频。要是喜欢，请订阅、点赞。谢谢

原文：https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

油管：https://youtu.be/G8fRgj8fFkc