OpenAI 新模型 Astra 数学表现出色，但被过度吹捧
批评有意思，数学突破本身前天已经写透。
小岛AI 日报
总第 9 期 2026 年 08 月 03 日 · 星期日 24 条信号
XIAODAO AI DAILY 捕捉信号，附带判断
头版 · 本日长文
算力翻到 2.8 倍，成本未必跟着降
全国智能算力规模一年增至约 2.8 倍，但机房里的卡要穿过调度、网络、软件兼容和质量验收，才会变成开发者真正可用的算力。
读全文 →AI 找漏洞已经不稀缺，验证才是下一堵墙
苹果为应对 AI 生成的低质量报告开始给漏洞提交通道限流，一枚真实 macOS 漏洞却被挡在门外。把 1061→14 和 23019→1752→1094 放在一起看，安全 agent 真正缺的是证据链，不是发现量。
Cloudflare 想让 Agent 90% 时间不用容器
新包真正有意思的不是又造一层沙箱，而是把持久文件系统从执行环境里拆出来。理解这条边界，你才能判断任务该进 isolate、Linux 容器还是浏览器，也看清它的早期代价。
欧盟 AI 新规生效，角落标签救不了你
8 月 2 日起，聊天机器人、生成内容、深度伪造和部分公共利益文本进入新规则。真正难的是让标记穿过下载与转发，并留下可审计证据。
MCP 砍掉 session，才像生产协议
无状态不是把上下文删光，而是把藏在传输层的状态搬到显式参数里。看懂这次改动，才能把 MCP 真正放进负载均衡、鉴权、缓存和人工确认链路。
行业 INDUSTRY
德国法院裁定 Suno 侵犯版权
记忆化边界很关键，但同案草稿已经在箱里。
GLM 5.2 助 Hugging Face 复盘智能体攻击
故事够离谱，安全事件已经连续写了几轮。
Tailscale 复盘 Hugging Face 入侵事件
181 个节点很扎眼，仍是同一场安全事故。
欧盟《人工智能法》透明度要求开始适用
别只补角落标签，标记、审校和证据链都得进架构。
全国智能算力规模达到去年同期 2.8 倍
算力是盘子，成功任务成本才是开发者手里的钱。
AI 低质量报告堵塞苹果漏洞赏金通道
找漏洞变便宜了，验证和排队反而成了硬通货。
AI 写代码提速三倍，资深工程师一天只省 15%
代码更快了，需求和验收还堵在原地。
模型 MODELS
Qwen3.8-Max 发布，2.4T 参数与 95B 激活参数
今天最热，但两周前已写过预览，别把续集当新坑。
MiniMax H3 发布开源多模态生成模型
2K 立体声视频够吸睛，前天已完整成稿。
DeepSeek-V4-Flash API 公测上线
Agent 能力是重点，旧稿已把 Harness 角度写了。
产品 PRODUCTS
Grok 支持分析任意视频
功能很亮眼，昨天的草稿已经把验证坑写完。
MCP 新规范把协议核心改成无状态
session 没消失，只是终于从暗箱搬到参数里。
Cloudflare 推出 @cloudflare/computer Agent 运行时
别给每个 Agent 养容器，先把工作台拆出来。
Cloudflare 推出 Billable Usage API
成本能按 API 查，账单才算进了工程系统。
Cloudflare Workers 与 Containers 支持入站 TCP 和 gRPC
边缘运行时接进长连接，Agent 后端少一层绕路。
研究 RESEARCH
OpenAI Astra 以约 2000 美元证明 10 项数学难题
验证器比模型名更值得看，可惜已经成稿。
面壁智能 ALIGN 自动对齐智能体与环境接口
改反馈就能抬成功率，昨日草稿已占位。
AI 辅助发现 1061 个漏洞，仅 14 个确认被利用
报告数量爆了，风险排序却还在手工作坊。
Meta 用第二个智能体决定何时唤醒任务记忆
记忆系统最难的能力，可能是知道何时闭嘴。
技巧 TIPS
Codex 用 Sol 指挥 Luna Max 省额度翻倍产出
配置能抄，模型路由和成本口径上周刚写过。
smevals 发布小型模型与提示词评测套件
小评测比大榜单实用，这题前天刚落草稿。
animated-voiceover 开源动画科普视频流水线
一人制片厂挺猛，完整流水线已经写过。
Kimi Work 发布幻灯片制作教程
能下载不稀奇，能不能继续编辑才见真章。
本期完 / SAIL WITH XIAODAO AI