跳到正文
模型
模型 OpenCode / X @opencode DeepSeek

整理:TopAIMap 编辑

OpenCode 限时免费开放 DeepSeek V4.1 Flash:模型 id 为 deepseek-v4.1-flash-free,官宣帖一小时内约 15 万浏览

OpenCode 于 10 月 15 日凌晨宣布 DeepSeek V4.1 Flash 在产品内限时免费;需选用 deepseek-v4.1-flash-free,付费版 deepseek-v4.1-flash 仍按原价计费。供应方称零留存、不用于训练。

OpenCode social share graphic used as cover for DeepSeek V4.1 Flash free announcement

10 月 15 日 00:35(PT),AI 编程工具 OpenCode 官方账号发帖称「DeepSeek V4.1 Flash is now free in OpenCode」。约一小时后该帖浏览量约 14.9 万、点赞逾 4300、转发约 310,社区跟帖密集。OpenCode 文档「Zen / models」页已单列 DeepSeek V4.1 Flash Free,模型 id 为 deepseek-v4.1-flash-free,走 OpenCode 自有推理网关;同页仍保留付费条目 deepseek-v4.1-flash(标价约输入每百万 token 0.30 美元、输出 1.20 美元)。官方说明免费档为 limited time,未公布截止日与额度上限;并写明该免费供应商遵循零留存(zero-retention),不把对话用于模型训练。

谁能用:OpenCode 用户(含其桌面/CLI 与 Zen 推理入口)可直接选 deepseek-v4.1-flash-free,无需另购 DeepSeek 官方 API Key;这是产品内限时免费档,不是 DeepSeek 官网全面免费用。付费 Flash / V4 Pro 仍可按原价调用。社区有人对比称免费档上下文约 20 万 token、付费档可达约 100 万,但 OpenCode 公开定价表未写死免费档上下文上限,接入前建议在客户端核对模型卡片。注意:此前 DeepSeek 网页与 API 曾出现约数小时故障,OpenCode 在故障窗口后放出免费档,分流意图明显。

真实用法:开发者在 OpenCode 里把默认模型切到 deepseek-v4.1-flash-free 跑修 bug、小重构;有人提醒配置 eval 时不要复用付费 id,否则仍会扣费。另有帖称「开箱即用、无需绑卡」试用,适合把同一小任务同时丢给免费 Flash 与平日主力模型对比延迟与代码质量。

解读:把竞品前沿小模型做成产品内 $0 入口,是编程 agent 拉新与对冲上游宕机的标准打法;零留存承诺降低企业试用门槛,但「限时」未写死截止日期,团队若把流水线绑死在 free id 上,一旦下架会突然回到付费档。 讨论:1. 编程工具用限时免费大模型换日活,会不会压垮自家推理成本?2. 用户更在意零留存,还是在意免费档是否砍掉长上下文?

同栏目 · 模型

OpenBMB / X @OpenBMB

OpenBMB 开源 MiniCPM-V 4.7:35B-A3B 端侧 MoE 多模态,iPhone 17 Pro Max 约 13+ token/s、仅占约 3GB 内存

面壁智能 / OpenBMB 发布 MiniCPM-V 4.7 系列:35B-A3B(首个系列内 MoE)与 1B 轻量版;引入 LES 专家预取,宣称端侧无损流畅推理,权重 Apache-2.0。

OpenBMB MiniCPM-V 4.7 announcement graphic showing on-device multimodal MoE
TypeSafe AI Blog / X @typesafeai

TypeSafe 发布 Jev 1.14:决策模型首开图像输入与 box 定位,价格维持每百万输入 token 0.042 美元

Jev 1.14 以 jev-preview 上线,多语言提升最大;图像输入、box 边界框题型和 262k 长上下文以「danger zone」请求头实验性开放,官方明言暂不建议用于生产;jev-latest 约 10 月 21 日切到 1.14。

TypeSafe Jev 1.14 announcement image: eye icon inside a bounding-box frame
上海人工智能实验室 / arXiv / X @ZhihuFrontier

上海 AI 实验室书生 Intern-S2 参与证明 30 年三维 Ghys 猜想:7 轮人机迭代、问题图从 15 扩到 389 节点,北大 SHEAF 用 100 个 agent 5 天完成 Lean 验证

上海人工智能实验室 10 月 15 日公布,数学家许地生、张介松与书生 Intern-S2 多轮协作,证明了 1995 年提出的 Ghys 猜想的三维(余维一)情形;北京大学团队用 SHEAF 框架在 Lean 中形式化验证了全部四个主定理。

Intern-S2 3D Ghys Conjecture announcement graphic