Google DeepMind发布的AlphaProof与AlphaGeometry 2两款AI模型，在国际数学奥林匹亚竞赛中荣获银牌，仅差1分摘金。这两款AI在6题试卷中答对4题，总分28分，展现了AI在数学推理领域的重大突破。
AlphaProof结合LLM与AlphaZero技术，成功解答代数与数论难题，包括一道仅5名人类选手答对的高难度题。AlphaGeometry 2则以其高效的解题速度（如19秒解几何题）和83%的历史IMO几何题答对率，展现了强大的几何解题能力。
DeepMind副总裁David Silver表示，AI虽无法创造数学问题，但可作为数学家的强大辅助工具。为提升准确性，Google将数学问题转化为形式语言，并采用持续学习机制优化模型。
此外，OpenAI也在秘密研发“草莓”项目，旨在增强AI推理能力，预示着AI在数学领域的竞争将进一步加剧。
