AI 新闻日报 - 2026年8月13日：DeepSeek V4 Pro 发布、Lovable 融资 4 亿美元、多个前沿论文来袭

AI 新闻日报 - 2026年8月13日

今日共收录 16 条 AI 相关资讯

最新论文 (arXiv)

• StateFlow: Building, Evolving, and Accessing 3D World States for Previsualization（StateFlow：构建、演化与访问用于预可视化的 3D 世界状态）
  Yuyang Yin, Zixiang Li, Longxuan Deng et al. | 提出生成式预可视化中间层框架，让创作者可迭代精修场景、动作、摄像机与时空动态。


• DreamFly: Causal Memory and Receding-Horizon Diffusion Planning for Aerial Vision-Language Navigation（DreamFly：面向空中视觉语言导航的因果记忆与滚动时域扩散规划）
  Yan Deng, Fei Xu | 为空中具身智能体提出的 VLA 范式，在部分可观测环境下整合视觉证据并规划未来动作。


• AI4AI at Test-Time: Strong-to-Weak Capability Transfer via Harnesses（AI4AI：测试时通过"Harnesses"实现强到弱能力迁移）
  Cheng Qian, Wenting Zhao, Liangwei Yang et al. | 探索无需更新参数、在测试时完成大模型向小模型能力迁移的新路径。


• Redistribution-based Cost Inference Improves Sparse Safe Offline RL（基于重分配的成本推断提升稀疏安全离线强化学习）
  Ebenezer Gelo, Geraud Nangue Tasse, Steven James et al. | 针对仅有轨迹级停止反馈的安全离线强化学习，提出时间信用分配新方法。


• Class Activation Mapping in Explainable Computer Vision: A Method-Centered Review（可解释计算机视觉中的类激活映射：以方法为中心的综述）
  AmirHossein Eshghi, Hamid Saadatfar, Seyyed Ali Hoseini et al. | 系统回顾跨越 CNN、Transformer 与基础模型时代的 CAM 视觉解释方法族。


• Beyond Trial-and-Error: Agentic Optimization for Image-to-Video Adherence（超越试错：面向图像到视频一致性的智能体优化）
  Aman Tyagi, Hemanth Boinpally, Jonathan Chen et al. | 提出智能体化优化框架，应对黑盒图像到视频模型缺乏细粒度控制与可靠性问题。


• VAKRA: Evaluating Multi-Hop Reasoning Across APIs and Retrieval Under Tool-Use Policies（VAKRA：工具使用策略下跨 API 与检索的多跳推理评估）
  Ankita Rajaram Naik, Anupama Murthi, Benjamin Elder et al. | 发布面向企业智能体的基准，首次联合评估结构化 API 与文档检索能力。


• Structural Silence: When AI Infrastructure Fails Speakers of Underrepresented Languages（结构性沉默：当 AI 基础设施辜负边缘语种使用者）
  Avijit Roy, Proma Roy | 批判性剖析训练语料、分词、评估基准等底层设施如何导致弱势语言被系统性忽略。

海外讨论 (Hacker News)

• DeepSeek V4 Pro 0813（深度求索 V4 Pro 0813 发布）
  910 | 372


• Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot（有人以 ClaudeBot 等 AI 爬虫名义进行大规模漏洞扫描）
  275 | 200


• Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials（Launch HN：Discovered Materials —— 用 AI 智能体发现新材料的 YC 创业公司）
  135 | 28


• Lovable raises $400M Series C（AI 应用开发平台 Lovable 完成 4 亿美元 C 轮融资）
  137 | 141


• ChatGPT Desktop (Codex Desktop) for Linux（ChatGPT 桌面版 / Codex 桌面版登陆 Linux）
  82 | 28


• Hax – a minimalist, terminal-native coding agent written in C（Hax —— 用 C 语言编写的极简终端原生编码智能体）
  99 | 32

今日 AI 要闻速览

今日最重磅的新闻当属 DeepSeek V4 Pro 0813 的发布，在 Hacker News 上以 910 点 372 评论登顶热门，成为社区重点关注的新一代大模型。OpenAI 也进一步扩展了 Codex/ChatGPT 桌面版的 Linux 支持，持续加码开发者工具生态。融资方面，AI 应用开发平台 Lovable 完成 4 亿美元 C 轮融资，反映资本对 AI 应用层创业的信心依然强劲。学术侧，arXiv 今日涌现多篇高价值工作，覆盖测试时强到弱能力迁移（AI4AI）、图像到视频一致性优化、企业级多跳推理基准 VAKRA 等前沿方向，其中 AI4AI 提出的"Harnesses"测试时迁移路径尤为值得关注。此外，针对 ClaudeBot 等 AI 爬虫被冒用进行漏洞扫描的安全隐患也引发了社区广泛讨论。

（注：掘金与 LINUX DO 数据源今日获取失败，未返回有效数据，相关板块已省略。）