• 谷歌展示了其新开发的 AI 系统 AlphaProof 和 AlphaGeometry 2 在解决复杂数学问题方面的进展，通过在 2024 年国际数学奥林匹克竞赛中解决多个问题，展示了 AI 在数学推理方面的潜力。
  • 尽管这些系统在解决某些问题时超出了比赛的时间限制，但它们的表现代表了 AI 在数学领域的最新成就。

本刊观点
谷歌通过其人工智能部门 DeepMind 展示了两款新型 AI 系统 AlphaProof 和 AlphaGeometry 2，它们在解决复杂数学问题方面取得了重大进展，尤其是在 2024 年国际数学奥林匹克竞赛中。这些 AI 系统通过结合语言建模和曾在棋盘游戏中超越人类的 AI 系统等技术，展示了其在数学推理和问题解决方面的能力。
-Rae Li，BTW 记者

发生了什么

谷歌推出了两款创新 AI 系统 AlphaProof 和 AlphaGeometry 2，它们在解决复杂数学难题方面取得了重大进展。这些系统在 2024 年国际数学奥林匹克竞赛中展示了其能力，AlphaProof 成功解决了四分之三的问题，包括最难的一题，而 AlphaGeometry 2 解决了剩余的问题。

通过将语言模型与以往在战略游戏中超越人类的 AI 系统相结合，这些系统展示了其在数学推理和问题解决方面的能力。

AlphaProof，特别是，是通过将 DeepMind 聊天机器人中的 Gemini 语言模型变体与AlphaZero合并而开发的。AlphaProof 不仅展现出强大的推理能力，还解决了比赛中最困难的问题。与此同时，AlphaGeometry 2 专注于几何挑战，展示了 AI 在不同数学领域的多样性。

另请阅读：Apple Maps 推出网页版，以新功能挑战谷歌

另请阅读：扎克伯格旨在通过新的 Llama AI 模型与 OpenAI、谷歌竞争

重要性

谷歌 AI 展示了其新开发的 AI 系统 AlphaProof 和 AlphaGeometry 2 在解决复杂数学问题方面的进展。这表明了 AI 在数学推理方面的潜力。

尽管在某些解决方案上花费的时间超出了比赛的时间限制，但 AlphaProof 的表现突显了 AI 在抽象和逻辑推理任务中的巨大潜力。这些进展为 AI 在数学中的作用提供了新的见解，并有望在教育、研究和工业领域得到更广泛的应用。