DeepMind 表示其 AI 能够解决数学奥林匹克问题
24-07-26
Google DeepMind,Alphabet Inc.的人工智能研究部门,宣布其在解决复杂数学问题方面取得了进展,这在当今的AI程序中仍然是一个挑战领域。
7 月 25 日,Google 推出了专注于数学推理的 AlphaProof,以及 AlphaGeometry 2,这是该公司今年早些时候首次亮相的专注于几何的模型的更新版本。Google 在博客文章中表示,这些程序在国际数学奥林匹克竞赛中解决了六个问题中的四个,该竞赛是学生解决代数和几何等主题的年度竞赛。
然而,Google 的研究者也指出,尽管 AI 在数学问题解决方面取得了进展,但 AI 远未能够以其问题解决能力取代人类数学家。这表明,尽管 AI 在数学领域的能力正在提高,但在完全理解数学概念和解决复杂问题方面,人类数学家仍然具有不可替代的价值。