每日 AI 新闻 · 2026-07-28
2026年7月28日阅读时长约 1 分钟
1. MCP 2026-07-28 规范今日正式定稿：协议层"无状态化"，Agent 基础设施换骨（AI Coding）
- 事件：7/28 Model Context Protocol 迎来自 2024 年 11 月发布以来最大一次修订正式定稿。核心变化是协议层改为 stateless（无状态）：握手（initialize）握手取消、
Mcp-Session-Id头移除，协议版本 / 客户端信息 / 能力通过每个请求的_meta字段传递，任意请求可落到任意服务端实例——远程 MCP 首次能跑在普通轮询分发之后。新增 MCP Apps / Tasks 原语，授权对齐 OAuth。四个 Tier-1 SDK（Pythonmcp v2.0.0b2、TypeScript v2、Go、C#）均放出 beta，稳定版随规范 7/28 同步发布；生态服务器数已破 1 万。另有 6 项破坏性变更 + 12 个月过渡期（Roots / Sampling / Logging 等降级）。 - 为什么值得关注：① 这是上周"MCP 2026-07-28 RC"的正式落地——所有基于 MCP 的 coding 工具、Agent 基础设施都要随之迁移，是季度级评估基线的"协议层"换骨。② "无状态"正中此前企业部署 MCP 的最大顾虑（会话管理复杂），让 MCP 从"本地玩具"变"云端可扩展基建"，直接利好 Cursor / Claude Code / Codex 等依赖 MCP 的工具。③ 12 个月弃用时钟已启动，现在是规划迁移的时点（而非 2027 年被迫）。
2. AI 编程"去电脑化" + Bun 用 64 个 Agent 11 天重写 53 万行：从单点工具到数字劳动力（AI Coding）
- 事件：7/28 两路信号：
- Conductor 宣布全面转向云 Agent 战略，放弃本地优先路线，推出移动端 APP、Slack 集成与 API，主打 AI 编程代理"去电脑化"、7×24 在线运行。2026 年 AI 编程赛道加速向云端迁移，Cursor、Codex 等均已推云 Agent，行业共识从"单点工具辅助"转向"多代理并行编排"的数字劳动力模式。
- Bun 的 Zig→Rust 重写纪实（7/28）：面对内存不安全的 Zig 持续泄漏/崩溃，Bun 用 64 个 AI Agent、11 天搬完约 535,496 行代码（原需 1–2 年）。成功基座是一份 600 行 PORTING.md——规定全局规则与优先级、所有 Agent 共同遵守；配合"按文件并行转换 + 两轮对抗式审查 + 编译器信号驱动迭代修复"。Anthropic 工程师同日也分享了用 Claude Fable 5 + Opus 4.8 + 动态工作流一个月内迁移 10 个包（数万至数十万行）的方法论：与其让人手改代码，不如迭代"生成代码的流程"本身（提示词与验证闭环）。
- 为什么值得关注：① Conductor 转向印证上周"云 Agent / 本地优先退潮"趋势——coding agent 正从"IDE 里的补全"升级为"脱离电脑、持续运行的数字员工"，但单位经济（算力成本随运行时间涨 10 倍）仍是未解题。② Bun 案例把"大规模代码迁移方法论"从玄学变成可复用范式：先写一份让所有 Agent 达成一致的参考文档，再派活——对正在并行跑多 subagent 的团队是直接操作建议，也呼应 Claude Code 本周的 subagent 并发上限 / 嵌套深度调整。
3. LLM 让形式化验证走下神坛 + YC CEO 的 gstack 开源破 11 万星：可靠性工程范式转移（AI Coding）
- 事件：7/28 两路"工程可靠性"信号：
- 形式化验证成本断裂：从 seL4 项目"20 人年证明工作量"降至 LLM 辅助的"每月 20 美元订阅费一小部分"。路径是 LLM 结合 Lean 等证明助手，借助"证明无关性"自动生成验证代码，解决传统 SMT 求解器的"玄学"问题，已使 Zstandard 等复杂算法的形式化验证成为现实；趋势是从"关键系统专享"走向"核心模块标配"。
- YC CEO Garry Tan 个人 Claude Code 配置 gstack 开源，含 23 个 Agent 角色与
PlanReviewShip流水线，GitHub 斩获 11.2 万 Star，支持多模型适配，被视为"AI 时代软件开发方法论范本"。
- 为什么值得关注：① 形式化验证"算力驱动替代人力驱动"，可能重塑加密库、协议实现等高可靠软件的质量保障体系——这是 coding agent 从"能写代码"迈向"能写可信代码"的关键拼图。② gstack 破 11 万星说明：当模型能力趋同，"如何编排 Agent、如何定义流程"成为新的护城河，社区方法论开始沉淀为可复用的公共资产，与上周"上下文工程 / 多 Agent 记忆"主线一脉相承。
4. 人民日报 7/28：人形机器人上下游"加速跑"——电子皮肤与柔性外衣成新产业链（具身智能）
- 事件：7/28《人民日报》经济聚焦报道人形机器人产业链外溢：浙江企业为人形机器人做"柔性外衣"（加防滑硅胶条，急停几十次位移 < 几毫米），2025 年出货量 1000 套，已是宇树、智元等的供应商；松江针织团队用"3D 针织算版"技术给机器人手指编针织套，订单已与传统针织业务持平，并试在针织结构中植入导电纱线探索压力感知与接触反馈；方向明确——"未来的机器人要能'感觉'被碰了一下"，外套正进化为可穿戴"电子皮肤"（温度 / 压力传感阵列）。
- 为什么值得关注：① 这把上周"工信部 / 国资委进厂实训、真实产线数据反哺"的主线，从"本体 + 大脑"扩展到**"皮肤"这一细分供应链**——具身产业化正外溢到纺织、材料等传统行业，区域集群成形。② 触觉 / 电子皮肤恰是上周"复旦 3 万小时触觉数据集"要补的最大瓶颈（真实物理交互数据稀缺）；材料侧（导电纱线、压力阵列）与数据侧（触觉数据集）开始双向接力，是"数据—模型—本体"闭环的关键拼图。
5. 张江集聚近 180 家具身企业 + 星炽动力 24 天全面量产：集群与量产双线提速（具身智能）
- 事件：7/28 两条产业化节点：
- 上海张江科学城（成立 34 周年专访）：已集聚具身智能相关企业近 180 家，机器人谷集聚近 100 家、特色产业产值约 130 亿元（同比 +约 14%），全产业链细分领域覆盖率超 70%；上海明确"十五五"末推动10 万台人形机器人进工厂、规上工业企业智能体应用普及率超 80%。傅利叶机器人已迭代到 GR3，进入全球 40 多国，顾捷称"具身智能一年发展超过以前三年总和"。
- 星炽动力全面量产（7/27 公告）：脱胎于海尔，从 7/3 小批量试产到全面量产仅 24 天，目标年底前千台级交付；引入 40 年家电化量产标准，整机不良率控制在 1% 以内，走"先落地再变聪明"的逆向突围路径。同期正奇未来（前华为 / 百度高管创业）8 个月内完成数亿元天使系列融资，资方含宁德时代系、比亚迪系等产业资本。
- 为什么值得关注：① 张江数据给出具身产业集群的量化标尺（180 家 / 70% 覆盖率 / 130 亿产值），叠加上海 10 万台进工厂的顶层目标，说明具身智能已从"单点 demo"进入"区域产业生态 + 政策牵引"阶段。② 星炽动力 24 天试产→量产、不良率 <1%，把上周"进厂实训、真实产线数据 ROI 18 个月"的判断推进到"量产节奏"——"先落地再变聪明"的家电化量产路径，可能是国产本体快速起量的现实解法；产业资本（宁德 / 比亚迪系）下场则确认了供应链协同逻辑。
信息来源
- MCP 2026-07-28 规范定稿：Agentic AI Foundation 发布说明、First AI Movers / Big Hat Group 解析（2026-07-28）
- Conductor 转云 Agent / LLM 形式化验证 / AdamW 天花板：钛媒体 Edge AI Daily 早报 7/28（2026-07-28）
- Bun Zig→Rust 重写 + Anthropic 大规模迁移方法论：Claude Code Daily Briefing 2026-07-28、GeekNews（2026-07-28）
- gstack 开源破 11 万星：腾讯网 AI 大模型动态 2026-07-28（2026-07-28）
- 人形机器人上下游 / 电子皮肤：人民日报 经济聚焦 2026-07-28（2026-07-28）
- 张江具身集群 / 星炽动力量产 / 正奇未来融资：腾讯网 具身智能日报、张江科学城专访 2026-07-28（2026-07-28）