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