1
面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
X：面壁智能 OpenBMB (@OpenBMB)点击查看
模型发布/更新2 条
2
DeepSeek-V4-Flash-Vision-Exp 发布
DeepSeek：API 更新日志点击查看
产品发布/更新4 条
3
SGLang 推出 Weight Cache Daemon，实现亚秒级引擎重启
LMSYS Blog点击查看
4
Claude Mythos 5 网络安全能力扩展至更多防御者
Claude：Blog（网页）点击查看
5
Grok Bot 扩展至更多订阅计划
xAI：News（网页）点击查看
6
Claude Code v2.1.239 发布：修复多项 Bug 并新增成本估算与 /claude-api 升级功能
Claude Code：GitHub Releases（RSS）点击查看
论文研究5 条
7
测量语音识别中的基准优化：Hugging Face 新测试揭示 ASR 模型“刷分”现象
Hugging Face 社区博客（混合发现）点击查看
8
Ling-3.0-flash 在 4 块 Blackwell GPU 上如何将批处理 1 解码延迟降低 54%
LMSYS Blog点击查看
9
微型语言模型中干扰权重的特征刻画
Anthropic：Transformer Circuits（可解释性研究）点击查看
10
Google 推出 Biomarker Discovery Framework：从可穿戴传感器数据中筛选候选生物标志物的多智能体系统
Google Research：Blog（网页）点击查看
11
移动性如何让语言模型更深入地理解地点
Google Research：Blog（网页）点击查看
技巧与观点3 条
12
AI 原生 SDLC 实战手册：Anthropic 如何用 Claude 重塑软件开发生命周期
Claude：Blog（网页）点击查看
13
本地 AI 模型已能媲美云端前沿模型，数据中心将走向个人化
Tomasz Tunguz 博客（VC 分析）点击查看
14
数据中心狂热：AI 行业的经济账与政治反噬
Gary Marcus：The Road to AI We Can Trust（RSS）点击查看