## 🔍 核心洞察 **Anthropic** 正试图用密码学手段重建 AI 推理的信任基础，其 **FlashProve** 原型借助 **zkSNARK** 让模型响应可验证而不暴露权重 [3]；与此同时，**DeepSeek** 计划将下一代 **V5** 模型的预训练迁移至 **华为昇腾** 芯片 [7]，而 **OpenAI** 则通过收购 **Pierre** 加速把 **Codex** 推向团队协同开发平台 [6][14]。从算力底座到信任机制，AI 基础设施的竞争正进入深水区。 ## 🚀 重点动态 - **Anthropic 发布 FlashProve 原型** [3]：用 zkSNARK 验证 AI 响应来源，单张 H100 上约 110 tokens/秒，每份证明约 19 MB。 - **DeepSeek 计划用华为昇腾预训练 V5** [7]：昇腾此前仅承担推理与后训练，此次若落地将是国产算力关键突破。 - **OpenAI 宣布收购 Pierre** [6]：Pierre 的开源工具已用于 Codex 文件浏览与代码变更审阅，将加速 agentic 开发平台建设 [14]。 - **可灵 Kling 4.0 Flash 全量开放** [10]：支持官网、API、MCP、CLI 及 Adobe 插件接入，最长 20 秒 720p 原生音频视频 [5]。 - **小米 REDMI K100 上线 3D 运镜** [20]：基于 WorldCast 框架，单张静态照片即可生成大角度环绕、推拉的三维运镜视频。 - **陶哲轩警告思考外包风险** [15]：称人类在把思考委托给 AI 的同时正失去对问题与答案的理解，后果可能很快显现。 - **Living Brain 将 AI 记忆与模型解耦** [16]：独立存储层让多模型共享记忆，token 用量最多减少 22.6 倍，单任务成本降 95%。 - **a16z 投资 Phaze** [13]：为 AI 智能体提供低延迟远程桌面，可访问 Blender、Unreal Studio 等重型应用。 ## 🔗 Sources [1] Anthropic 微微发力，AI 中转站的天就要塌了？ — https://www.bestblogs.dev/article/675357a82d?utm_source=rss&utm_medium=feed&utm_campaign=resources&entry=rss_article_item [2] 奥运赛事首次来到非洲，AI 也学着「入乡随俗」 — https://www.bestblogs.dev/article/eb458bdf81?utm_source=rss&utm_medium=feed&utm_campaign=resources&entry=rss_article_item [3] Anthropic 发布 FlashProve 原型，用 zkSNARK 验证 AI 响应来自指定模型而不暴露权重 — https://aihot.news/items/ktxijudapzqjabb7ozogry27j [4] fal 上线可灵（Kling）V4 Flash 的四种视频生成入口 — https://aihot.news/items/ti7ev1s3r62g9crcme2neu1q3 [5] fal 上线 Kling 4.0 Flash 视频生成模型 — https://aihot.news/items/a6k88x9ipsfx6javi81o707y2 [6] OpenAI 宣布收购 Pierre，加速把 Codex 打造成团队与 AI 协同的软件开发平台 — https://aihot.news/items/f3buned