谷歌DeepMind用AI成功解决了国际数学奥林匹克竞赛IMO的真题，得分28分，相当于银牌。数学家陶哲轩认为这是伟大的工作，改变了对AI辅助数学问题解决的期望。陶哲轩还提到DeepMind的新工具与NuminaMath模型无法直接比较，NuminaMath模型完全自动化且资源效率高。DeepMind在数学推理方面一直努力，之前的研究已在IMO竞赛上取得重大突破。

谷歌DeepMind的人工智能通过AI系统参加了国际数学奥林匹克竞赛IMO，并获得了28分的银牌水平。AI系统由AlphaProof和AlphaGeometry 2组成，通过形式化数学推理和几何求解解决了多个问题。这一突破表明具有先进数学推理能力的通用人工智能有潜力开启科学技术新领域。