DeepSeek服务器全球宕机！神秘Harness账号同时现身
DeepSeek 全球宕机还冒出个神秘 Harness 账号，网友都在猜是不是新模型要上了，去看看什么情况。
DeepSeek 服务器出现全球性宕机，大量用户无法访问服务。宕机期间，有用户发现一个名为 Harness 的神秘账号同时现身。网友猜测这次宕机可能与新模型部署有关。目前 DeepSeek 官方尚未对宕机原因和新模型传闻作出说明。
DeepSeek服务器全球宕机！神秘Harness账号同时现身
网友集体崩溃：新模型要来了？
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 题，还顺手推进了两个猜想，数学形式化爱好者别错过。