关注《田丰说》，每天3分钟，掌握全球AI大事件！本视频由商汤“如影”数字人APP生成。

田老师认为，AI攻克复杂数学，是一个伟大的机器智力里程碑。语言是人类描述世界的符号，“数学是上帝描述自然的符号”，这是黑格尔说的。而笛卡尔认为“数学是知识的工具，也是其他知识工具的源泉。所有研究顺序和度量的科学均和数学有关。”当AI能够学习世界顶级数学家的长链条思考逻辑，人类文明将掌握打开科学大门的万能钥匙。

全球AI要闻，谷歌AI勇夺“国际奥数”银牌，数学推理模型面世。

高级数学推理是现代人工智能一直追求的关键智力。谷歌DeepMind团队推出的混合AI系统在今年国际数学奥林匹克竞赛中考出了银牌成绩。该AI数学模型结合了新型推理模型AlphaProof和改进版模型AlphaGeometry 2，仅差1分就能达到人类金牌标准，而在今年参赛的609名人类参赛者中，只有58人获得了金牌成绩。

为了克服形式化语言训练数据不足的问题，研究团队通过微调Gemini模型，创建了一个包含各种难度的形式化题库。在准备IMO国际奥数比赛期间，AlphaProof模型在数周内证明、反驳了数百万个难题，覆盖各种难度和数学专题。在比赛过程中，AI还在继续应用这个训练循环。谷歌正在继续探索推进数学推理的AI方法，并计划很快发布AlphaProof的更多技术细节。

每天3分钟，掌握全球AI大事件！《田丰说》全网发布，敬请关注！