Kimi K3开源引爆全球路线之争，Uncle Bob代码观撕裂开发者圈
2.8万亿参数Kimi K3开源引发硅谷震荡，黄仁勋发人生首条推文携25巨头联署开源宣言；Uncle Bob「绝不读AI代码」vs Hashimoto「逐行阅读」，开发者圈终极分裂；OpenAI开源Codex Security CLI；Graph Engineering成为Agent工程新范式
本期内容 · 7 条
Kimi K3开源：全球首个2.8万亿参数开放权重模型，黄仁勋首条推文携25巨头联署
月之暗面发布Kimi K3，首个接近3万亿参数的开源大模型，在代码、智能体任务逼近最强闭源模型。黄仁勋破天荒发布人生首条社媒，英伟达联合微软、Meta、IBM等25家科技巨头发表公开信支持开源生态。马斯克秒回赞同，Altman表示希望开源闭源都能赢。
Claude Code之父揭秘Opus 5删掉80%系统提示词，主张「消融式」开发
YC深度访谈Claude Code创造者Boris Cherny：Opus 5可连续自主运行数周，提示注入攻击基本失效，Claude Code因此删除超80%系统提示词而编码评测无损。Opus 5 Frontier-Bench SOTA、价格仅Fable 5一半，被戏称「Fable 5.1」。
编程界终极分裂：Uncle Bob「绝不读AI代码」vs Mitchell Hashimoto「逐行阅读」
两条推文引爆数千万浏览的编程范式辩论：《代码整洁之道》作者Uncle Bob主张用测试约束替代逐行审查，「Agent写代码→Agent写测试→Agent写检查工具」形成无限递归验证链；HashiCorp创始人Hashimoto坚持「我读代码」；分布式系统专家Cindy Sridharan警告「Vibe滑坡」。开发者圈围绕AI时代代码审查是否还有意义展开混战。
OpenAI开源Codex Security CLI：真阳性率74%，碾压Snyk 28%和Semgrep 20%
OpenAI以Apache 2.0协议开源Codex Security CLI+TypeScript SDK，基于GPT-5.6 Sol做安全扫描。公开测试阶段扫描超120万次commit，发现792个严重漏洞和10561个高危漏洞。第三方测试真阳性率74%（Snyk 28%，Semgrep 20%）。支持SARIF/CSV/JSON导出、CI集成和pre-commit hook。社区解读为OpenAI在「AI编程工具链」补安全锚点。
英伟达联合25巨头签署开源公开信，Little Tech联盟白宫上书反对封禁中国开源模型
黄仁勋在X发布首条推文，携英伟达、微软、Meta、SpaceX等25家签署《开放权重与美国AI领导力》公开信。美国Little Tech创业联盟同日上书白宫反对禁止中国开源模型，指出Kimi K3、GLM-5.2、DeepSeek V4已推动全球AI价格大幅下降。Anthropic未列名签署遭全网围攻，前Trump AI顾问David Sacks炮轰「他们不压垮开源AI不会罢手」。白宫AI自愿审查框架即将定稿，开源权重模型可能面临发布前政府审查。
Graph Engineering取代Loop Engineering：三天270万浏览，Agent工程重心从「编排一个」转向「编排一群」
OpenClaw创始人Peter Steinberger在X发问「我们还在用循环，还是已经转向图了？」三天270万浏览。Graph Engineering被推为Loop Engineering继任者——节点/边/状态并非新概念，但「从编排单个智能体到编排一群智能体」的工程重心迁移真实发生。XState作者David Khourshid质疑词是重新包装但转变真实，腾讯技术工程发文梳理五层演进：Prompt→Chain→Agent→Loop→Graph。
智元WITA-Omni登顶DailyOmni全模态榜，国产模型占前五中三席
智元WITA-Omni Preview以85.21分登顶复旦大学DailyOmni全模态榜单，超越千问、Gemini、豆包和英伟达模型，八项细分指标拿下六项第一。国产模型首次包揽前五中三席，全模态能力竞争进入新阶段。
Kimi K3开源：全球首个接近3万亿参数开放权重模型
7月28日，月之暗面发布Kimi K3并全量开源上架HuggingFace。这个2.8万亿参数的MoE模型成为史上最大开放权重模型（每次激活1040亿参数、1M上下文窗口、原生视觉能力），在GPQA Diamond（93.5分）、MATH、LiveCodeBench等基准上逼近Claude Fable 5和GPT-5.6 Sol。
技术架构亮点：Kimi Delta Attention (KDA) 在93层中混合循环和全注意力机制；Stable LatentMoE 用分位数平衡的潜空间路由激活896个专家中的16个；Attention Residuals (AttnRes) 学习跨深度混合残差贡献。vLLM宣布Day-0支持（推测解码+序列并行+KV缓存卸载），最高370 token/s。AMD同天宣布Instinct MI355X GPU支持。
连锁反应：黄仁勋注册X账号发布人生首条推文，英伟达联合微软、Meta、IBM、HuggingFace、Mistral等25家科技巨头签署公开信《开放权重与美国AI领导力》。马斯克秒回「黄仁勋是对的」，Altman跟帖「希望开源和闭源都能赢」。央视新闻专题报道。
编者评： Kimi K3不只是技术上「最大开源模型」的记录——它引爆了一个更大的问题：当中国开源模型能力追平闭源前沿，硅谷内部的开源/闭源路线分歧正在撕裂。黄仁勋首条推文选择这个时机、Altman被迫表态、Anthropic因未签名遭围攻……这不是技术之争，是AI生态权力格局的重组。
Claude Code之父访谈：Opus 5删掉80%系统提示词
7月29日CSDN刊发Y Combinator对Claude Code创造者Boris Cherny的深度访谈。核心信息：Claude Opus 5因提示注入攻击基本失效、可连续自主运行数周，Claude Code团队将系统提示词从原有规模砍掉超过80%，编码评测无损。Cherny将其称为「消融式开发」——持续验证每一行提示词是否真的需要，疯狂做减法。
Opus 5在Frontier-Bench v0.1达到SOTA，ARC-AGI 3得分是第二名模型的3倍，Zapier AutomationBench通过率达前代10倍。最关键的变化是自主纠错能力：Opus 5在无法直接查看图纸的情况下，自行编写计算机视觉流水线从像素重建3D模型，并成功复现。
编者评： 「删80%提示词评测无损」比任何跑分都说明问题——模型的鲁棒性进步正在反向简化工程复杂度。这与Graph Engineering的趋势相呼应：当单个Agent足够可靠时，你才能真正放心编排多个。
编程圈终极分裂：Uncle Bob vs Hashimoto
7月3日HashiCorp联合创始人Mitchell Hashimoto发推「I read the code」，83万浏览。20天后，《代码整洁之道》作者、编程60年的Uncle Bob给出截然相反的答案：「我完全不去读Agent写出来的任何代码。」480万浏览，远超Hashimoto。
Uncle Bob的策略：给Agent设置单元测试、Gherkin测试、QA流程、变异测试、测试覆盖率等极严约束，代码通过验证即信任。当被质疑「谁保证约束本身可靠」，他回答同样让Agent写检查工具——形成「Agent写代码→Agent写测试→Agent写检查工具」的无限递归验证链。
分布式系统专家Cindy Sridharan警告「Vibe滑坡」——开发者一开始谨慎审查，随着速度加快逐步放松，最终滑向完全不读代码。开源开发者Christine Lemmer-Webber称「人们对这段旅程的掌控力远不如自认为的强大」。开发者AmazingAng已将此理念做成开源Skill「old-coder」。
编者评： 这不是「读或不读」的二元选择，而是「什么代码值得读」的重新定义。Uncle Bob和Hashimoto其实在聊不同的东西——前者用验证体系覆盖可自动化验证的部分，后者认为理解是工程责任的底线。真正的共识可能在中间：大量廉价AI生成代码构建测试金字塔，保护塔尖上那一小撮真正不能出错的东西。
OpenAI开源Codex Security CLI
7月28日，OpenAI以Apache 2.0协议开源Codex Security CLI和TypeScript SDK。工具默认使用GPT-5.6 Sol做高推理强度安全扫描，公开测试阶段扫描超120万次commit，在OpenSSH、GnuTLS、PHP、Chromium等开源项目中发现792个严重漏洞和10561个高危漏洞。第三方测试真阳性率74%，碾压Snyk的28%和Semgrep的20%。
功能覆盖：全仓库扫描、diff扫描、历史追踪与结果去重、误报追踪、SARIF/CSV/JSON导出、pre-commit hook（高危及严重漏洞拦截提交）。需Node.js 22+和Python 3.10+。
社区解读：OpenAI在AI编程工具链补安全锚点——AI写代码越来越快，漏洞引入速度也在变快，安全扫描成为AI生成代码workflow中必须内置的一环。同周OpenAI员工签署「Pacing the Frontier」公开信呼吁放缓AI研发自动化节奏，但同时也开源了用前沿模型找漏洞的工具——不矛盾，读作：能力在竞速，防御和治理也必须公开迭代。
编者评： Codex Security CLI的74%真阳性率与Snyk/Semgrep的差距揭示了AI安全工具的一条新可能：传统SAST依赖规则匹配，AI-native工具可以做真正的上下文理解——虽然代价是代码离开本地。这可能是「AI生成的代码需要AI来审计」闭环的关键一环。
英伟达联合25巨头签署开源公开信，Little Tech白宫上书
7月28日，黄仁勋发布人生首条X推文，英伟达联合微软、Meta、Palantir、SpaceX、Google等25家科技巨头签署《开放权重与美国AI领导力》公开信，呼吁政策制定者「不要过早限制开放权重模型」。同天，美国Little Tech创业联盟单独上书白宫，直接反对封禁中国开源模型，指出Kimi K3、GLM-5.2、DeepSeek V4已将全球AI价格大幅压低。
Anthropic未签署，遭到全网围攻。前Trump AI顾问David Sacks炮轰：「整个科技行业公开支持开源AI——除了Anthropic。他们不压垮开源不会罢手。」Benchmark合伙人Bill Gurley指责Anthropic「保护商业利益」。创新工场李开复发推：「重要的不是谁签了公开信，而是谁没签。」
编者评： Anthropic成为这场路线之争「房间里的大象」——它选择不签署本身就是一个强烈的信号。开源vs闭源的争论已从技术哲学变为政策博弈，而白宫AI审查框架即将定稿的窗口期让每一步站位都意味深长。
Graph Engineering：从编排一个Agent到编排一群
7月17日，OpenClaw创始人Peter Steinberger在X发问「我们还在用循环还是已经转向图了？」三天270万浏览。Graph Engineering被推为Loop Engineering的继任者。XState作者David Khourshid指出节点/边/状态不新，但腾讯技术工程深度分析确认：词可能只是重新包装，但「从编排单个智能体到编排一群智能体」的工程重心迁移真实发生。
五层演进路径：Prompt Engineering（单次对话）→ Chain Engineering（固定步骤串联）→ Agent Engineering（动态工具调用）→ Loop Engineering（持续运行+检查）→ Graph Engineering（多Agent有向无环图/状态机编排）。每一层解决上一层够不着的问题，Graph站在前四层都做好的前提下。
编者评： Graph Engineering这个词诞生时业界没有任何新框架、新模型发布——完全被一句推文催生。这说明Agent工程正在从「能不能跑通」进入「规模化后怎么管理」的新阶段。与Uncle Bob的测试约束理念殊途同归：当单个Agent可靠性提升后，编排模式升级才有操作空间。
智元WITA-Omni登顶DailyOmni全模态榜
7月28日复旦大学DailyOmni榜单更新，智元WITA-Omni Preview以85.21分综合成绩登顶，超越千问、Gemini、豆包与英伟达模型，八项细分指标拿下六项第一。国产模型在此榜占据前五中三席，全模态理解能力进入群雄逐鹿阶段。
编者评： 全模态榜登顶、Kimi K3开源、DeepSeek V4永久降75%——中国模型正在多个维度同步推进。能力的追赶让硅谷的政策辩论变得更加急迫：当技术差距缩小，规则制定权就成为下一个战场。
编者按
本期声浪的底层叙事可以用两个字概括：撕裂。
开源vs闭源的路线撕裂（黄仁勋首发推文联署 vs Anthropic拒绝签名）、Uncle Bob vs Hashimoto的编程范式撕裂（Agent写代码还读不读？）、Loop vs Graph的工程范式撕裂（单个Agent够可靠了吗？可以编排多个了吗？）——这些争论的共性在于，它们都在问同一个问题：AI能力快速进化时，人和系统的边界应该划在哪里。
Kimi K3的开源不仅是技术事件，更是一面镜子：当中国开源模型能力追平前沿，硅谷被迫重新审视自己的路线选择。而Uncle Bob的「不读代码」宣言和Graph Engineering的涌现则揭示：开发者正在主动重新定义自己与AI的关系——不是被动接受，而是重新设计验证体系、重新定义工程抽象。
下周值得关注：白宫AI审查框架的最终走向、Anthropic是否会就开源立场做出更多回应、以及国内Agent办公赛道（千问办公内测、飞书aily、360纳米Work同日出击）是否会掀起新一轮平台竞争。