去年银牌今年金牌，但它拿不到500万美元奖金

文章预览

编译 ｜ 文乐乐 图片来源：Sebastien Bozon/AFP 一年前，美国谷歌旗下DeepMind公司开发的人工智能（AI）工具AlphaGeometry，在国际数学奥林匹克竞赛（IMO）中达到银牌选手的水平，震惊了世界。DeepMind团队现在表示，系统升级后的AlphaGeometry2的性能已达到IMO金牌选手的水平。2月5日，相关研究成果公布于预印本服务器arXiv。 IMO是为有天赋的高中生设置的难度极高的数学竞赛。英国伦敦帝国理工学院的数学家Kevin Buzzard说：“我想用不了多久，计算机就能在IMO上获得满分了。” 解决欧几里得几何问题是IMO的4个主题之一，其他主题包括数论、代数和组合学的分支。几何学要求AI具备特定的技能，因为参赛者必须为平面几何图像的陈述提供严格的证明。去年7月，AlphaGeometry2与新推出的AlphaProof系统一起公开亮相，后者是DeepMind为解决IMO的非几何问题而开发的。 AlphaGeom ………………………………