10:43pandaily@contact@pandaily.com (Pandaily)微软因AI推理token成本飙升,宣布Copilot Cowork产品改为基于使用量的定价模式。为控制成本,微软选择整合开源模型DeepSeek V4作为替代方案。这一决策反映了大型企业在大规模AI部署中面临的经济压力,以及开源模型在成本效率上的竞争力。DeepSeek V4的参数量与性能表现接近GPT-4级别,但推理成本可降低80%以上。AI产品微软DeepSeek V4定价策略开源模型AI成本推荐理由:微软的Copilot因为Token太贵改用DeepSeek了,以后按用量计费,用多少付多少。想省钱的话可以关注这个开源模型。原文
10:10IT之家(博客/媒体)73°微软正将 Copilot Cowork 智能体转为按使用量计费,并探索 DeepSeek V4 微调版作为更低成本替代方案。目前 Anthropic Fable 5 输出定价为 50 美元/百万 token,而 DeepSeek V4 Pro 仅 0.87 美元/百万 token,价差约 57 倍。微软承诺该模型将完全托管在 Azure 上,确保企业级安全合规。预计未来几周内公布最终模型选择。AI产品微软Copilot CoworkDeepSeek V4AnthropicOpenAI智能体10 个信源在谈推荐理由:微软嫌 Claude 和 GPT 太贵,打算用 DeepSeek V4 微调版,价格差了 57 倍,企业用户能省一大笔钱。原文
03:57Decoder@Matthias Bastian微软正考虑使用DeepSeek V4的微调版本作为Copilot Cowork的廉价模型选项。同时,Copilot负责人Charles Lamanna表示固定费率定价不可持续,因此转向按用量计费。这一变化符合行业整体趋势。AI产品Copilot Cowork微软DeepSeek V4按用量计费定价策略推荐理由:微软给Copilot Cowork换按用量计费了,还打算用DeepSeek V4省钱,这对企业用户成本影响挺大,值得关注。原文
15:43Pandaily@contact@pandaily.com (Pandaily)精选83°普林斯顿大学语言与智能实验室(PLI)发布了一篇关于 Goedel-Architect 的突破性论文,这是一个用于形式定理证明的智能体框架。该框架基于 DeepSeek V4 模型,在多个基准测试中取得了最先进的结果,同时成本仅为现有系统的 1/500。Goedel-Architect 通过将推理任务分解为可管理的子任务,并利用 DeepSeek V4 的高效推理能力,显著降低了形式验证的计算开销。这一成果有望推动数学证明和软件验证领域的自动化进程,使形式化方法更易于被学术界和工业界采用。论文形式定理证明DeepSeek V4智能体框架成本优化普林斯顿大学1 个信源在谈推荐理由:形式定理证明的成本一直是阻碍其大规模应用的瓶颈,Goedel-Architect 用 DeepSeek V4 把成本砍到原来的 1/500,做数学验证和软件安全的团队可以直接关注这个新范式。原文
19:08pandaily@contact@pandaily.com (Pandaily)76°中国AI生态系统已从追赶转向领先,每日Token消耗达140万亿,DeepSeek V4和华为SuperPoD集群构建了从芯片到模型的差异化架构,成为NVIDIA栈的真正替代方案。这一转变标志着中国AI基础设施的成熟,为全球AI发展提供了新路径。关键细节包括:中国AI栈在效率、成本和可扩展性上实现突破,DeepSeek V4模型性能对标国际顶尖水平,华为SuperPoD集群通过异构计算优化降低对高端GPU的依赖。行业中国AIDeepSeek V4华为SuperPoD芯片架构AI基础设施9 个信源在谈推荐理由:中国AI栈的崛起改变了全球竞争格局,做AI基础设施或模型开发的团队值得关注DeepSeek V4和华为SuperPoD的架构创新,这可能是降低对NVIDIA依赖的实用路径。原文
10:20pandaily@contact@pandaily.com (Pandaily)精选76°DeepSeek V4 已全面适配华为昇腾芯片,标志着中国 AI 基础设施在推理负载上减少对海外芯片依赖的重要进展。该适配覆盖了从训练到推理的全流程,使得国内企业可以在国产硬件上运行 DeepSeek V4 模型。这一突破降低了供应链风险,同时提升了国产 AI 生态的自主可控能力。对于依赖 AI 推理的中国企业和开发者来说,这意味着更稳定的算力供应和更低的合规成本。AI模型DeepSeek V4华为昇腾国产 AI 栈推理模型芯片适配推荐理由:DeepSeek V4 适配华为昇腾解决了中国 AI 推理的芯片依赖问题,做国产化部署的团队可以直接用这套方案,建议关注后续性能评测。原文
01:46Nathan Lambert: Interconnects@Florian Brand76°过去一个月内,多个重磅开源模型密集发布,包括 Google 的 Gemma 4、DeepSeek V4、Kimi K2.6、MiMo 2.5 和 GLM-5.1 等。这些模型在性能、架构和开源策略上各有突破,标志着开源 AI 生态进入新一轮竞争。CAISI 的 V4 评估报告对这些模型进行了横向对比,揭示了不同模型在推理、多模态和效率上的优劣。对于关注开源模型选型和趋势的开发者与研究者,这是重要的参考节点。AI模型开源模型Gemma 4DeepSeek V4Kimi K2.6模型评估1 个信源在谈推荐理由:开源模型一个月内连发五款旗舰,做模型选型或研究的团队可以直接参考 CAISI 的 V4 评估对比,省去自己跑 benchmark 的时间。原文