当地时间7月25日，谷歌DeepMind 在官网宣布宣布旗下人工智能完成了一项重要挑战：用AI做出了今年国际数学奥林匹克竞赛IMO的真题，并且距拿金牌仅一步之遥。

　　上周刚刚结束的IMO竞赛共有六道赛题，涉及代数、组合学、几何和数论。谷歌提出的混合AI系统做对了四道，获得28分，达到了银牌水平。

　　在这背后，由DeepMind团队研发的AlphaProof和AlphaGeometry 2共同实现了里程碑式的突破。其中，AlphaProof 是一种用于形式化数学推理的强化学习系统，而AlphaGeometry 2是DeepMind几何求解系统 AlphaGeometry 的改进版本。这一突破表明具有先进数学推理能力的通用人工智能 (AGI) 有潜力开启科学技术新领域。