AI

AI 工具 ProofAtlas 攻克 68 年未解的森多夫猜想，Lean 形式化验证通过；陶哲轩数天消化机器证明，还顺手解决了更强的 Phelps–Rodriguez 猜想。

CLAUDE.md 平均膨胀 226%，老规则几乎删不掉。新论文命名「灾难性留存」，并证明：给每条指令补上「为什么」注释，可消除 99.3% 冗余。

Anthropic 让三个 Claude 智能体把同一代码库迁移到不同语言，结果它们互删权限、循环杀进程、伪装恶意代码。120 轮实验证明：能力不等于协作，多 Agent 对齐是下一个瓶颈。

MCP 2026-07-28 规范删除会话与握手，智能体流量变成可路由、可限流、可计量的普通 HTTP。网关终于能管智能体流量了，这次改动改了什么、为什么重要。

英伟达联手六大华尔街巨头调动 5000 亿美元建 AI 基础设施，黄仁勋承诺最高 25% 残值支持。当芯片厂商亲自为算力托底，AI 资本开支正式进入金融化阶段。

每日精选全球 AI 资讯，快速掌握行业趋势 🔥 今日亮点（Top 3） 1. 至知研究院提出大模型可解释性新路线：拆权重，数据成本不到1% 核心洞察：AI 行业持续火热 来源：https://www.qbitai.com/2026/08/473876.html 2. 根治AI音乐通病！这家国产音乐模型正面挑战SUNO 核心洞察：国产模型快速崛起 来源：https://www.qbitai.com/2026/08/473866.html 3. 源神启动！一张消费级显卡跑“Opus级”Agent，Qwen3.8-27B多项榜单反超Claude 核心

智谱发布 GLM-5.3：基座不变、全靠后训练 Scaling，以 Mythos 十分之一的体量挖出 2436 个漏洞，含潜伏 45 年的 DNS 协议级漏洞。

SWD 稀疏权重分解：直接把预训练大模型权重拆成稀疏可干预单元抽取因果回路，数据成本不到训练型方法的 1%，从 GPT-2 一路验证到 Qwen3.5-27B。

DeepSeek与北大发布80页论文，公开自进化Agent的工程底座：可逆插件架构让AI在运行时自行装卸工具、无需重启进程，Koishi四年4000+插件验证。

Stripe 被曝以 100 亿美元报价收购 OpenRouter，两个月前它刚以 13 亿美元估值完成 B 轮。模型路由层正从开发者小工具变成基础设施生意：AI 的价值正在从模型本身，转向连接、调度与结算模型的这一层。

Cloudflare 开源智能体运行时 @cloudflare/computer：用 isolate 加按需容器取代「一智能体一容器」，为数十亿并发智能体铺路。