DeepSeek 挂了 5 个小时，日经报道的，如果你常用它的 API 可以了解下情况。
DeepSeek 的 AI 服务出现约 5 小时的中断，期间用户无法正常访问其模型。日本经济新闻（Nikkei Asia）报道了此次故障。服务在中断后恢复上线。文中未披露故障原因与影响范围细节。
China's DeepSeek hit by 5-hour AI service outage https://t.co/gRVot8FcD6
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 题，还顺手推进了两个猜想，数学形式化爱好者别错过。
