自己花几万块攒 v100 跑 DeepSeek V4.1 的人发现 Opencode 上直接免费用了，搞编程的可以白嫖试试。
作者曾花数万元用多张 v100 显卡自行部署 DeepSeek V4.1 用于本地推理。现在 Opencode 平台已提供 DeepSeek V4.1 的免费接入，无需再自建 GPU 集群。对使用 Opencode 做编程开发的用户来说，可以直接调用该模型而省去部署成本。
垃圾佬们花几万攒的 v100 部署的 DeepSeek V4.1
现在在 Opencode 上免费了
说的是谁？就是我🤡
DeepSeek 把 Harness、Web、App 等团队合成一个产品部，负责人就是开源智能体框架 dsh 的操盘手崔添翼，看得出他们要在产品端发力了。
arXiv 上的新压缩论文，把 DeepSeek 的 203GB 查找表压到 51GB，做量化或本地部署的可以看看思路。
微软自研基模 MAI-Base-2 训完了，2.8T 总参数，算力效率是 DeepSeek-V4-Pro-Base 的 4~12 倍，还放出了训练细节。
OpenCode 里用 DeepSeek V4.1 Flash 不扣套餐额度了，还有 200K 上下文，而 DeepSeek 官方 API 还得付费，写代码想白嫖的可以试试。
微软说自家的 MAI-Base-2 用四分之一的算力就超过了 GPT-5.6 背后的模型，还顺手对比了 DeepSeek，训练效率这块到底是真是假值得看看细节。
用 LLM 加符号计算在 Lean4 里自动证不等式，186 题解出 175 题，还顺手推进了两个猜想，数学形式化爱好者别错过。
