阿里内部邮件把 Claude Code 列为高风险软件，全员禁用。同一时间，OpenAI 在 GitHub 上架了 codex-plugin-cc——一个专门给 Claude Code 用的插件。24 小时，24k 星。
🚀 巨头动向与竞合信号
• 阿里内部全面禁用 Claude Code —— TechCrunch 报道阿里将 Claude Code 列为高风险软件，全员禁止使用。继 Meta 6 月底禁掉 Claude Code 和 Codex 后，第二家大厂对 AI 编程工具关上大门。AI 工具供应链安全正在变成一道新的企业防火墙。
• OpenAI 给 Claude Code 写了个插件，24k 星 —— codex-plugin-cc 让 Claude Code 用户直接调用 Codex（GPT-5.5）做代码审查或委派任务。竞争对手在工具层面对接——AI 编程工具的终局可能不是你死我活，而是插件化共存。
• 蚂蚁集团秘密测试 AI 版支付宝 —— 公众号热文 100k+ 阅读，蚂蚁内部正在将 AI 深度整合进支付和金融场景。微信「小微」刚灰度，支付宝紧跟着出牌——国内超级应用的 AI 入口之争已经打响。
• 小红书成立 AI 一级部门 Dots —— 内部信公布架构大调整，柯南出任总裁，AI 提升到一级部门位阶。内容平台的 AI 军备竞赛正在从「加点功能」升级为「组织重构」。
🛠️ 开发者生态与工程利器
• pxpipe：把文字塞进 PNG，Claude Code 费用砍掉 70% —— 开源工具利用 Anthropic 对图片按像素而非文本计费的定价漏洞，将长提示转为紧凑 PNG，大幅降低 token 消耗。开发者在摸 Claude Code 的定价天花板——这不是漏洞，是定价模型跟不上使用方式。
• Mistral Leanstral 1.5 在真实代码里找到 5 个未知 bug —— 专为 Lean 4 形式化验证设计的开源模型，扫描 57 个开源仓库后挖出 5 个此前未发现的真实漏洞。形式化验证长期被视为「学术玩具」，Leanstral 1.5 用真 bug 证明了它可以走进工程管线。
• Greg Brockman：未来几乎没有 UI，没人需要学软件 —— OpenAI 联合创始人预言接口消失，软件变成对话。和上周「AI 杀死按小时计费」连在一起看：工具在变，专业能力在变，计量单位在变——只有变化本身没变。
🚨 制度回应与长期影响
• 奥斯卡新规：禁止 AI 表演和编剧作品参评 —— 官方声明「人必须是核心」，AI 生成的表演和编剧直接被挡在红毯外。AI 对创意产业的冲击已从「担忧」进入「制度划线」阶段，100k+ 微信阅读量说明公众对这条线的位置极关心。
• 2.6 万学生研究：AI 辅助学习的代价，两年后才显现 —— 大规模纵向研究发现 AI 辅助学习在短期内提升成绩，但两年后开始损伤学生的独立推理能力。挪威刚在小学全面禁用生成式 AI，数据就来了——刹车踩得正好。
📚 延伸阅读
• Mistral：Leanstral 1.5 — Formal Verification Model https://mistral.ai/news/leanstral-1-5/
• The Decoder：2.6 万学生 — AI 辅助学习的隐性代价 https://the-decoder.com/a-26000-student-study-shows-ais-hidden-learning-cost-takes-two-full-years-to-surface/
• The Decoder：pxpipe — 把文字藏进 PNG，省 70% Claude Code 费用 https://the-decoder.com/open-source-tool-pxpipe-hides-text-in-pngs-to-cut-claude-code-and-fable-5-token-costs-up-to-70/
