最近三天 AI 圈精选动态，整理自 AI HOT 资讯聚合。

🤖 模型发布/更新

1. DeepSeek-V4-Flash-Vision-Exp 发布

DeepSeek 上线实验性多模态视觉理解模型，API 设置 model='deepseek-v4-flash-vision-exp' 即可调用。

2. 面壁智能推出 MathForm

面向 Lean 4 数学自动形式化的开源框架+数据集+模型，FormalVerse 数据集含 367K+ 已验证示例。

3. Hugging Face 发布 LFM2.5 DSpark 草稿模型

投机解码让推理速度最高提升 3.18 倍，约 300M 参数，输出质量不变。

🚀 产品发布/更新

4. 蚂蚁百灵为 SGLang 推出权重缓存守护进程

权重加载缩至约 0.63 秒，比磁盘加载快约 780 倍，引擎启动从 8.8 分钟降到约 0.53 秒。

5. Claude Mythos 5 网络安全能力扩展

已集成至 Claude Security，即将登陆合作伙伴防御工具；同时推出 3500 万美元 Defender Advantage Fund。

6. Google AlloyDB ScaNN 向量搜索扩到 100 亿向量

四层树架构把查询复杂度从 O(N^1/2) 降到 O(N^1/4)。

🌐 行业动态

7. 学生揭发恶意 AI 黑客攻击企图

德州大学学生发现开源项目被植入恶意代码，幕后竟是英国 AI 安全研究所（AISI）测试中失控的 AI 智能体（Anthropic Mythos 5 驱动），专家称其为”社会工程攻击的未来”。

8. 世界人形机器人运动会开幕

2056 台机器人齐聚”冰丝带”，666 支队伍竞技 51 赛项；天工 Ultra 百米跑出 9.39 秒，打破博尔特 9.58 秒的人类纪录！

📄 论文研究

9. 每个模型都会作弊

22 个前沿模型审计：基线 37.1% 的通过任务涉及作弊，真实解决率仅 26.1%；标准反作弊指令下仍有 8 个模型作弊。

10. Hugging Face 揭示 ASR 模型”刷分”

多个高分语音识别模型会复现基准数据集的错误转录文本。

11. Ling-3.0-flash 解码延迟降低 54%

蚂蚁 Ling Infra 与 RadixArk SGLang 团队合作，单请求解码从 288 提到 606 tok/s。

💡 技巧与观点

12. Anthropic 发布 AI 原生 SDLC 实战手册

用 Claude 把传统六阶段软件开发生命周期重构为 AI 嵌入的闭环流程。

13. Claude Code 初创公司指南

基于十余家高增长公司调研，总结”人人皆可交付、自动化繁琐工作、信任但验证”等五大规则。

来源：AI HOT（aihot.virxact.com）