DeepMind 表示其 AI 能够解决数学奥林匹克问题

Google DeepMind，Alphabet Inc.的人工智能研究部门，宣布其在解决复杂数学问题方面取得了进展，这在当今的AI程序中仍然是一个挑战领域。

7 月 25 日，Google 推出了专注于数学推理的 AlphaProof，以及 AlphaGeometry 2，这是该公司今年早些时候首次亮相的专注于几何的模型的更新版本。Google 在博客文章中表示，这些程序在国际数学奥林匹克竞赛中解决了六个问题中的四个，该竞赛是学生解决代数和几何等主题的年度竞赛。

然而，Google 的研究者也指出，尽管 AI 在数学问题解决方面取得了进展，但 AI 远未能够以其问题解决能力取代人类数学家。这表明，尽管 AI 在数学领域的能力正在提高，但在完全理解数学概念和解决复杂问题方面，人类数学家仍然具有不可替代的价值。