AI Agent 每日简报 2026-07-02

研究进展

AxDafny: Agentic Verified Code Generation in Dafny

链接: https://arxiv.org/abs/2606.32007

为什么重要

关键要点

QVal: Cheaply Evaluating Dense Supervision Signals for Long-Horizon LLM Agents

链接: https://arxiv.org/abs/2606.32034

为什么重要

关键要点

Generative Skill Composition for LLM Agents

链接: https://arxiv.org/abs/2606.32025

为什么重要

关键要点

政策治理

A Technical Typology of AI Systems in Public Administration

链接: https://arxiv.org/abs/2606.31755

为什么重要

关键要点

行业动态

Hugging Face and Cerebras bring Gemma 4 to real-time voice AI

链接: https://huggingface.co/blog/cerebras-gemma4-voice-ai

为什么重要

关键要点

Fable 5 returns globally July 1; industry-wide jailbreak severity framework

链接: https://www.anthropic.com/news/fable-5-returns

为什么重要

关键要点

Claude Sonnet 5 is here: mid-tier model with tool use and autonomous agents

链接: https://www.anthropic.com/news/claude-sonnet-5

为什么重要

关键要点

社区热点

browser-use/video-use: Edit videos with coding agents

链接: https://github.com/browser-use/video-use

为什么重要

关键要点

Weave Robotics launches Isaac 1 home robot at $7999

链接: https://news.ycombinator.com/item?id=48752949

为什么重要

关键要点

媒体报道

Anthropic's long-sidelined Fable 5 is greenlit to return

链接: https://theverge.com/2026/06/anthropic-fable-5-return

为什么重要

关键要点