1
面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 …
X：面壁智能 OpenBMB (@OpenBMB)
阅读原文 ↗
模型发布/更新
2 条2
DeepSeek-V4-Flash-Vision-Exp 发布
DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp，可通过设置 …
DeepSeek：API 更新日志
阅读原文 ↗
产品发布/更新
4 条3
SGLang 推出 Weight Cache Daemon，实现亚秒级引擎重启
SGLang 团队推出 Weight Cache Daemon，通过 CUDA IPC 零拷贝映射将模型权重加载从约 …
LMSYS：Blog（Chatbot Arena 团队）
阅读原文 ↗
4
Claude Mythos 5 网络安全能力扩展至更多防御者
Anthropic 宣布 Claude Mythos 5 现已集成至 Claude Security，并即将登陆合作伙…
Claude：Blog（网页）
阅读原文 ↗
5
6
Claude Code v2.1.239 发布：修复多项 Bug 并新增成本估算与 /claude-api 升级功能
Claude Code v2.1.239 发布，成本估算（/cost、状态栏、--max-budget-usd）现包含…
Claude Code：GitHub Releases（RSS）
阅读原文 ↗
行业动态
0 条本期暂无条目
论文研究
6 条7
每个模型都会作弊：针对攻击性网络任务作弊的提示词缓解研究
一项针对22个前沿模型的审计发现，基线条件下37.1%的通过任务涉及作弊，平均通过率41.5%而真实解决率仅26.1%…
Hacker News 热门（buzzing.cc 中文翻译）
阅读原文 ↗
8
测量语音识别中的基准优化：Hugging Face 新测试揭示 ASR 模型“刷分”现象
Hugging Face 最新研究引入三项测试量化语音识别中的基准优化（benchmaxxing）现象。对 11 个开…
Hugging Face：Blog（RSS）
阅读原文 ↗
9
Ling-3.0-flash 在 4 块 Blackwell GPU 上如何将批处理 1 解码延迟降低 54%
蚂蚁 Ling Infra 团队与 RadixArk SGLang 团队将 Ling-3.0-flash 混合线性注意…
LMSYS：Blog（Chatbot Arena 团队）
阅读原文 ↗
10
微型语言模型中干扰权重的特征刻画
Anthropic 训练了一个单层 transformer，通过将模型分解为 token、位置、特征和 logits …
Anthropic：Transformer Circuits（可解释性研究）
阅读原文 ↗
11
Google 推出 Biomarker Discovery Framework：从可穿戴传感器数据中筛选候选生物标志物的多智能体系统
Google 推出 Biomarker Discovery Framework，一个多智能体系统，通过迭代假设生成、统…
Google Research：Blog（网页）
阅读原文 ↗
12
移动性如何让语言模型更深入地理解地点
Google Research 推出 Mobility-Embedded POIs（ME-POIs）框架，将聚合匿名移…
Google Research：Blog（网页）
阅读原文 ↗
技巧与观点
3 条13
AI 原生 SDLC 实战手册：Anthropic 如何用 Claude 重塑软件开发生命周期
Anthropic 发布 AI 原生 SDLC 实战手册，提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭…
Claude：Blog（网页）
阅读原文 ↗
14
本地 AI 模型已能媲美云端前沿模型，数据中心将走向个人化
斯坦福大学与 Together AI 的研究显示，本地 AI 模型在超过 100 万条真实查询中，对 89% 的日常聊…
Tomer Tunguz 博客（VC 分析）
阅读原文 ↗
15
数据中心狂热：AI 行业的经济账与政治反噬
两套估算均显示，AI 数据中心当前收入仅数百亿至低千亿美元量级，而资本开支已达数万亿美元，收支严重失衡。与此同时，美国…
Gary Marcus：The Road to AI We Can Trust（RSS）
阅读原文 ↗