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

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

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