让人类高中生头疼的最难数学考试——国际数学奥林匹克竞赛（IMO）——被人工智能（AI）攻克了。 在一项近期公布的研究中，Google DeepMind 团队称他们的几何解题系统 AlphaG ...