谷歌旗下的DeepMind团队近期在国际数学奥林匹克（IMO）中取得了令人瞩目的成绩。DeepMind的两款人工智能模型——AlphaProof和AlphaGeometry