整理 ｜ 杜雪莹 来源｜ 未来人类 实验 室 （ID：LabforAI） 封面来源 ｜ 视觉中国 DeepSeek推出DeepSeekMath-V2模型 DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。该模型基于DeepSeek-V3.2-Exp-Base构建，通 过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。团队表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。模型代码与权重已 开源，发布于Hugging Face及GitHub平台。（界面新闻） 手机秒变AI游戏指导，微软Xbox Gaming Copilot（测试版）上线移动端 Anthropic发布Claude Opus 4.5：强化编码与长任务处理，软件工程测试成绩超越人类 11月25日消息，当地时间周一，Anthropic宣布推出其最新AI模型Claude Opus 4.5，定位为一款在编码、智能体以及计算机操作方 面表现领先的通用模型，并在深度研究、演示文稿处 ...