数学界迎来AlphaGo时刻：谷歌AI用19秒答完一道IMO几何题，差1分即可摘金

文章预览

近日， 谷歌 DeepMind 宣布其人工智能系统在数学解题能力上取得了突破性进展。 在 2024 年国际数学奥林匹克竞赛（IMO，International Mathematical Olympiad）的六道题目中，该公司的人工智能系统成功解决了其中的四道，获得了相当于银牌的成绩。 这标志着人工智能系统首次在这项全球顶级少年数学家竞赛中达到了奖牌级别的表现。 DeepMind  开发了两个专门的人工智能系统 AlphaProof 和 AlphaGeometry 2，两者协作拿到了这一成绩。 （来源： DeepMind ） ‍ AlphaProof 解决了两道代数题和一道数论题，其中包括本次比赛中最难的一道题目。而 AlphaGeometry 2 则成功解决了一道几何题，仅仅耗时 19 秒。未能完成的两道题属于组合数学的范畴。 这两个人工智能系统的总成绩获得了 42 分中的 28 分，仅差 1 分就达到了金牌的门槛。 图 丨 AI 系统相较于所有人类选手的表现（来 ………………………………