21:24AI产品黄叔@PMbackttfutureflomo Agent通过减少记录前0.5秒的摩擦,让普通人更容易坚持记录。它并非简单AI化,而是回归笔记核心。作者认为其真正对手不是Notion或Obsidian,而是微信文件传输助手。DeepSeek V4和王登科推动了产品进展,Agent功能虽少但更可信。flomo Agent结合Codex/Hermes可形成“记忆-行动”双系统。AI产品flomoAgent微信文件传输助手DeepSeek V4智能体3 个信源在谈推荐理由:flomo产品经理分享Agent真实使用体验,讲清它为什么不是跟Notion打架,而是跟微信文件传输助手抢用户。原文
21:24Geek@geekbb精选DAO-C是基于DeepSeek V4的终端编码agent,在7个真实开源bug-fix任务上总成本仅¥1.07。相比Claude Opus,费用降低约30倍。其成本优势源于前缀缓存聚合,命中率达95.8%。该工具在编码效率上媲美Claude Code。AI产品DeepSeek V4Claude CodeClaude Opus编程助手低成本推荐理由:这个基于DeepSeek V4的终端agent超省钱,修7个bug才1块零7分,比Claude Opus便宜30倍,编码体验还接近Claude Code。原文
14:03OpenRouter@OpenRouterAIGLM 5.2 自发布以来在 OpenRouter 平台上的 token 消耗占比迅速上升,与早先发布的 DeepSeek V4 形成竞争。OpenRouter 数据显示,GLM 5.2 的开源模型采纳速度超过多数同类产品。目前两者在 token 份额上差距缩小,但 DeepSeek V4 仍占一定优势。行业GLM 5.2DeepSeek V4OpenRouter开源模型token份额推荐理由:OpenRouter晒出了GLM 5.2和DeepSeek V4的token份额对比,GLM 5.2涨得真快,开源模型里能跟DeepSeek掰手腕了。原文
18:24shao__meng@shao__meng推特用户发起国产四个LLM的投票,GLM-5.2以79.7%得票率大幅领先。DeepSeek V4获13.4%,Kimi K2.7为5.2%,MiniMax M3仅1.7%。发起者认为GLM-5.2表现强劲而MiniMax M3得票惨淡。帖子还对比了Gemini 3.5 Flash,认为其性能不佳导致结果明显。行业GLM-5.2DeepSeek V4Kimi K2.7MiniMax M3国产模型推荐理由:看看社区投票,GLM-5.2碾压式领先,想知道国产模型谁更受认可?结果挺有意思。原文
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:30shao__meng@shao__meng精选73°微软宣布 Copilot Cowork 正式全面可用,支持多模型和长期运行代理。为应对 Agent 场景下 token 消耗剧增的问题,计划引入 Azure 托管的 DeepSeek V4 作为低成本选项,按算力/用量计费,取代包月无限用模式。正在测试微调版 DeepSeek V4,作为 Anthropic/OpenAI 模型的替代,预计数周内公布最终选择。该模型可选非强制,数据不出微软云,符合现有安全与合规体系。AI产品CopilotDeepSeek V4Azure智能体按用量计费10 个信源在谈推荐理由:Copilot Cowork 终于上线了,微软还打算用 DeepSeek V4 当廉价模型,按用量收费,做 Agent 的可以看看怎么降本。原文
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省钱,这对企业用户成本影响挺大,值得关注。原文
02:09kimmonismus@kimmonismusAxios报道称微软正考虑在Copilot Cowork中提供DeepSeek V4作为更便宜的模型选项。微软高管Charles Lamanna表示用户每周执行数百个任务导致成本过高,因此Copilot Cowork将转向基于使用量的定价模式。如果采用DeepSeek,该模型将是可选的、经过微调和安全防护,并完全托管在Azure上。此举意味着中国AI模型将进入微软的企业Copilot产品。行业MicrosoftCopilot CoworkDeepSeek V4Azure企业AI推荐理由:微软为了省钱,打算在Copilot里用DeepSeek V4,还改成了按用量收费。这对企业用户来说是个大变化。原文
00:23SiliconFlowAI@siliconflowaiSiliconFlow 宣布其平台已集成 CodeWhale 终端编程助手,后者专为 DeepSeek V4 设计。用户可通过两行配置在终端中同时使用 V4-Pro(高质量)和 V4-Flash(高速度)模型,实现最佳性价比。CodeWhale 具备流式推理、自动路由(根据任务复杂度切换模型和思考深度)、零漂移(通过书面宪法保持模型方向一致)以及自我改进(V4 帮助编写自身测试框架)等特性。这为开发者提供了更高效、更智能的终端编码体验。AI产品编程助手终端工具DeepSeek V4SiliconFlowCodeWhale推荐理由:终端编程助手 CodeWhale 结合 DeepSeek V4 的双模型配置,解决了编码中质量与速度的权衡问题,做 AI 编程的开发者可以直接在终端中体验自动路由和零漂移带来的稳定输出。原文
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,做数学验证和软件安全的团队可以直接关注这个新范式。原文
13:13Geek@geekbb精选一款新工具让 macOS 用户直接在菜单栏管理本机 DeepSeek V4 模型,无需终端操作。它支持一键启动/停止模型服务器,实时显示 CPU/内存占用,并快速打开聊天或编码助手界面。对于经常在本地运行大模型的开发者,这大幅降低了操作门槛,提升了效率。该工具已在 GitHub 开源,适合 macOS 上的 AI 爱好者。AI产品DeepSeek V4macOS 工具本地模型管理菜单栏开源/仓库3 个信源在谈推荐理由:本地跑 DeepSeek V4 的 macOS 用户终于不用切终端了——菜单栏一键启停、看资源、开聊天,省掉繁琐操作,建议直接装来试试。原文
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 推理的芯片依赖问题,做国产化部署的团队可以直接用这套方案,建议关注后续性能评测。原文
00:08SiliconFlowAI@siliconflowaiCC Switch 是一个统一管理多个 CLI 工具(如 Claude Code、Gemini CLI、Codex、OpenCode、OpenClaw、Hermes Agent)的界面,解决了开发者需要在不同 CLI 间切换配置文件的痛点。现在 SiliconFlow 成为其内置预设提供商,支持一键启用 DeepSeek V4、GLM 5.1、Kimi K2.6、MiniMax M2.5 等模型。这意味着开发者无需手动配置多个 CLI 的环境变量或 API 密钥,直接在 CC Switch 中选择预设即可切换模型。对于使用多种 AI 编程助手的团队或个人,这能大幅减少配置管理时间。AI产品CLI 管理SiliconFlowDeepSeek V4编程助手配置工具9 个信源在谈推荐理由:CC Switch 解决了多 CLI 配置管理的碎片化问题,做 AI 编程或智能体开发的团队不用再手动切换环境变量,直接一键启用 SiliconFlow 预设就能用上 DeepSeek V4 等新模型,建议试试。原文
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 的时间。原文
01:25berryxia@berryxia精选73°Sebastian Raschka发布《Recent Developments in LLM Architectures》,用可视化方式拆解Gemma 4到DeepSeek V4的硬核优化。文章指出长上下文瓶颈已从“能否支持更多token”转向“如何聪明分配计算”,这些优化已在生产环境落地。正在做长上下文模型、Agent或RAG的团队,这篇文章的视觉图和效率对比特别值得细读。论文长上下文架构优化Gemma 4DeepSeek V4效率对比1 个信源在谈推荐理由:长上下文竞争已从堆token转向架构优化,做Agent或RAG的团队可以从Gemma 4到DeepSeek V4的真实方案中直接借鉴效率提升思路。原文