让人类高中生头疼的最难数学考试——国际数学奥林匹克竞赛（IMO）——被人工智能（AI）攻克了。在一项近期公布的研究中