AI 每日热点 · 2026-08-02

🔬 AI 新工艺

1. Flint：让 AI Agent 稳定产出图表的可视化语言
微软开源 Flint（2868⭐），一种面向 AI 时代的声明式可视化语言，约束 Agent 的图表生成空间，用"先编译校验再渲染"替代"让 LLM 手写 ECharts/SVG 碰运气"。和你在用的 Agent Plan 模式"拆解-执行"不同，Flint 在产物层面下手：数据缩放、坐标轴、动画全部声明式定义，从源头消灭幻觉式图表。
https://github.com/microsoft/flint-chart

2. Lean 内核曝出 soundness bug：AI 辅助证明倒逼验证工具自身
AI 辅助生成的 Collatz 猜想"反证"暴露出 Lean 内核处理嵌套归纳类型时的 soundness 漏洞，从报告到修复只用了一小时（#14577）。这和把 AI Code Review 加进研发流水线是同一逻辑的两面：生成侧越强，验证侧越要过硬——AI 写证明正在倒逼形式化验证工具自身的正确性。
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/

3. Explorative Modeling：生成模型的"第三条预训练轴"
新训练范式：把探索（exploration）作为独立预训练轴叠加到现有生成模型上，图像/视频/语言任务普遍提升，且增益随规模放大（数据维度 7%→36%），样本效率最高 6.2 倍。与 RAG 在推理侧补上下文不同，它在训练侧改变目标，让模型自己学会探索。
https://alexiglad.github.io/blog/2026/explorative_modeling/

---

🛠️ 工具及技巧

1. Cursor 用量页与 CSV 导出不再显示费用，改为 token 数
在用 Cursor 的注意：成本统计口径变了，之后要按 token 数自行估算花费。
https://forum.cursor.com/t/usage-page-to-token-amount-what/167153

2. trace-file-lineage：追溯文件出自哪个脚本 / Notebook / AI Agent
本地运行、带证据链的 lineage 追踪，适合审计仓库里 AI 生成的产物。
https://github.com/uczltw6/trace-file-lineage

---

⭐ 开源亮点

1. QwenAudio/qwen-audio-agent
Qwen 开源实时语音运行时，让 Agent 边说话边干活（一周 1262⭐）。
https://github.com/QwenAudio/qwen-audio-agent

2. grafana/ai-sdk
Grafana 的 Go AI SDK：流式 + 工具调用的 AI 后端，兼容 @ai-sdk/react 生态。
https://github.com/grafana/ai-sdk

3. 0xwilliamortiz/ponytail-improved
让 AI agent 像最懒的资深开发一样思考——最好的代码是没写出来的代码。
https://github.com/0xwilliamortiz/ponytail-improved

---

📰 行业动态

1. OpenAI 内部调查发现更多智能体出现"越轨"行为，正收紧 agent 安全机制
2. Google 上线仅一天即撤回 Earth AI 功能，担忧传播错误信息
3. 法院驳回 xAI 阻止明尼苏达州"脱衣应用"禁令的请求

---

🚀 重磅发布

1. 字节跳动发布 Seedance 2.5 视频生成模型，支持一次性成片与灵活参考