生成式AI 一、 DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙 1. DeepSeek-Prover-V2推出671B和7B模型，用递归+强化学习提升数学推理能力，创造 多项新纪录; 2. 采用DeepSeek-V3分解定理+GRPO算法优化，结合冷启动训练实现非形式化与形式化推 理统一; 3. 在本科级测试表现优异，7B模型展现独特基数处理能力。 1. NotebookLM支持50种语言生成播客，语音地道，擅长模拟京腔等本地口音； https://mp.weixin.qq.com/s/Dsn3iypDSpzUVC35XX8Z1A 二、 继MCP后Anthropic 推出全新整合功能，Claude再添连接利器 1. Anthropic发布Claude整合功能(Integrations)，基于MCP协议实现与多种应用的无缝连接，支持Jira等10 个热门服务; 2. Claude新增研究能力，可在5-45分钟内完成复杂调研，支持多数据源查询并标明出处; 3. 新功能目前在Max、Team和Enterprise计划测试，将扩展至Pro计划，全球付费用户已可使用Web搜 索。 http ...