11月27日，DeepSeek发布DeepSeekMath-V2模型，主打自验证数学推理能力。该模型通过构建基于LLM的验证器，对生成的证明进行自动审查，并利用扩展计算生成高难度训练样本提升验证能力。在2025年国际数学奥林匹克竞赛（IMO 2025）和2024年中国数学奥林匹克竞赛（CMO 2024）中，模型均达到金牌水准，同时在2024年普特南数学竞赛（Putnam 2024）中取得118/120的优异成绩。官方表示，这一成果验证了可自验证数学推理的可行性，为未来更强大、可靠的数学智能系统奠定基础。项目已开源，详情可参考Hugging Face与GitHub页面。

6月16日，阿里巴巴全球数学竞赛中，17岁江苏省涟水中专女生姜萍首进决赛，获全球第12名，刷新纪录。同时，563支AI队伍参与AI大模型挑战，平均分仅18分，最高分34分，远低于人类选手的113分，且无队伍入围决赛。AI在复杂推理和严谨思考上尚存局限，西南交通大学和中国人民大学团队分获AI挑战赛亚、季军。专家认为，人类在深层逻辑推理和创新思维上仍占优势。