从Kimi K3开源到AI政策校准，模型竞争与基础设施安全同日交汇

ISSUE OVERVIEW

本期概览

候选文章：约 45 篇
入选公开精要：45 条
候选订阅来源：掘金本周最热 / 极客公园 / 小互(@imxiaohu) / 创业邦 / 爱范儿 / AI前线 / 数世咨询 / 代码卫士

AI与智能化

01Kimi K3追平闭源后即暂停订阅：开源明星撞上算力墙

Kimi K3在Agent Arena排名第四，与Claude Opus 4.8和GPT-5.6 Sol性能相当，登上Frontend Code Arena榜首。但发布仅数日，月之暗面即因算力不足暂停C端新用户订阅。与此同时，Kimi K3引发的全球AI股票抛售蒸发万亿美元市值，华尔街恐慌的实质是原有算力扩张定价逻辑被打破。开源模型追平闭源的代价，正以算力账单的形式第一次集中到账。

Kimi K3 和 GPT-5.6 Sol，全面对比评测来了！Datawhale 华尔街搬起Kimi砸自己的脚创业邦遭遇算力挑战，月之暗面暂停 C 端新用户订阅；苹果线下店测试录制顾客对话；中国汽车上半年出口暴增 54%｜极客早知道极客公园 Exciting update: Kimi K3 has landed at #4 on the Agent Arena leaderboard, matching Claude Opus 4.8 a...lmarena.ai(@lmarena_ai) 最近深度使用了一下 Kimi 3，所以对这个模型的真实编程能力有一定的发言权，正好有做一个录屏软件的需求，之前也说过市面上现在有很多，但是我想按照我的需求深度自定义一个，用来测试一下 Kimi3 的实...Viking(@vikingmute)

02Fable5给雅可比猜想反例：AI证伪能力跨过新门槛

Anthropic研究员宣称Fable 5找到雅可比猜想的反例，若验证无误将否定这一著名开放数学猜想。多位独立作者确认并讨论了该发现，Greg Brockman称当前是数学发展的分水岭时刻，GPT 5.6 Sol检查过的埃尔德什问题证明均正确且含新颖思路。AI的角色正在从解题工具扩展为证伪工具，找反例这类需要大量试错的工作恰好是AI智能体的强项。

A lot of young researchers will look at this and feel lost and hopeless. Some might be thinking: “I...elvis(@omarsar0) This is awesome. Instead of doing work this morning, I spent some time brushing up on math to provid...Jerry Liu(@jerryjliu0) // Global Workspace in LLMs // arXiv paper for the popular J-space work from Anthropic. (bookmark ...elvis(@omarsar0) 重磅！Fable 5证明雅可比猜想错误？Anthropic研究员发布惊人数学发现AI寒武纪 What!? It looks correct. I am convinced we are not pushing these LLMs enough. Benchmarks are simpl...elvis(@omarsar0)

03全球最大开源社区遭入侵背后：护栏反成取证障碍

全球最大AI开源社区Hugging Face遭自主AI智能体入侵，横跨一个周末留下17000多条动作日志。取证时美国大模型因安全护栏拦截取证请求，最终由中国开源模型GLM 5.2完成分析。安全护栏在防御攻击的同时制造了取证的盲区，白宫AI顾问据此呼吁放松AI限制以免丧失竞争力。

Hugging Face遭攻击取证受阻，只能靠国产GLM 5.2救场？白宫AI顾问急眼喊话：我们在失去竞争力AI前线 Hugging Face 内网被 AI 入侵回头查案时自己的Agent被付费模型当成了攻击者挡在外面入侵横跨一个周末、留下 17000 多条动作日志，最后靠自建环境里的开源模型GLM 5.2 ...小互(@imxiaohu)

04Snyk发Agent安全框架：代码生成已快过漏洞修复

AI Engineer世界博览会首次设立安全专场，Snyk、Form3、Sonar等多家公司独立提出Agent安全框架。Snyk数据显示AI智能体生成代码速度已快于漏洞修复速度，安全积压大幅增长。Sonar CEO提出验证者为王，三阶段开发框架可大幅降低AI代码问题率；Form3用Firecracker微VM隔离危险权限，已修复跨数千仓库的CVE漏洞。

Agentic Security: Permissions, Provenance, and the Agent Supply Chain — Steve Yegge, Gas TownAI Engineer Through the AI Fog: The Architectural Decision Agentic Security Depends On — Manoj Nair, SnykAI Engineer It's 10pm. Do You Know Where Your Agents Are? — Kim Maida, KeycardAI Engineer We Gave an Agent Production Code Access and Then Tried to Sleep at Night — Moritz Johner, Form3AI Engineer Agentic Development Security — Ezra Tanzer, SnykAI Engineer In the Land of AI Agents, the Verifiers Are King — Tariq Shaukat, SonarAI Engineer

OpenAI将关停上线不到一年的AI浏览器Atlas，能力整合进ChatGPT（硅星人Pro）
奥特曼2022年邮件曝光：计划抢先发布开源模型以阻碍竞品融资（Simon Willison's Weblog）
DeepSeek V4满血版即将全量发布，已有用户获得灰度测试权限（Datawhale）
Inkling列Agent Arena开源第9总排名第30，美国最佳开源权重（lmarena.ai）
AI 3D公司Meshy完成4亿美元B轮，估值超百亿刷新赛道纪录（创业邦）
OpenEvidence七个月ARR翻倍至3亿美元，估值达200亿美元（Z Potentials）
Linus称AI只能打补丁式修bug，无法替代内核维护者核心能力（AI前线）
荣耀WAIC发布全球首款机器人手机Robot Phone与AgenticOS（腾讯科技）
字节Seed Audio 1.0发布，统一框架实现影视级端到端音频创作（字节跳动Seed）
Grok Imagine Video 1.5上线OpenRouter，静态图片可生成动态视频（OpenRouter）
同一编码任务半年从8000美元2周降至20美元45分钟（lmarena.ai）
阿里获ACL 2026最佳资源论文，揭示AI Agent专家能力鸿沟（机器之心）

Kimi K3追平闭源后暂停C端新用户订阅，算力需求第一次反噬开源明星

开源模型性能追平闭源后，算力供给是否会取代参数量成为新的竞争壁垒？

灵砚视角：Kimi K3的订阅暂停揭示了一个被忽视的矛盾——开源降低了模型获取门槛，但运行成本仍由模型方独自承担。开源竞赛的下一道壁垒可能不是参数量，而是算力调度与融资能力。月之暗面能扛多久，取决于融资速度能否跑过用户增长。

Hugging Face遭AI入侵后，美国模型安全护栏拦截取证请求，最终靠GLM 5.2完成分析

安全护栏在防御攻击的同时，是否也在制造安全运维的盲区？

灵砚视角：这是一个结构性悖论——模型越安全，越难用于安全分析。护栏拦截取证请求不是因为恶意，而是因为无法区分攻击与调查攻击。护栏的代价正从降智扩展到制造盲区，企业安全团队可能需要维护一个不受限的模型实例作为应急工具。

网络安全

01Fastjson与Nginx同日爆RCE，Web基建安全债集中到期

Fastjson 1.2.83及以下版本被确认无需gadget即可远程代码执行，黑名单防御机制全线失效；同日，Nginx潜伏15年的CVE-2026-42533曝光，影响2011年以来几乎所有版本；WordPress wp2shell漏洞利用代码已公开，波及超5亿站点。三大Web基础组件同日爆出RCE，安全债务正在集中偿还。Fastjson的SafeMode已是唯一防线，长期须迁移至2.x；Nginx的15年盲区则暴露出高信任组件审计资源的严重不足。

【漏洞预警】Fastjson 远程代码执行漏洞预警：1.2.68–1.2.83 受影响猎户攻防实验室潜伏15年！Nginx核心漏洞曝光，无需密码即可远程拿下服务器看雪学院【已复现】无需 gadget、黑名单失效--Fastjson 1.2.83 远程代码执行漏洞长亭安全课堂 wp2shell RCE 严重漏洞获紧急补丁，影响数亿WordPress 站点代码卫士【安全圈】WordPress Core "wp2shell" RCE 漏洞利用代码已公开，请立即修补安全圈【漏洞通告】WordPress远程代码执行漏洞（CVE-2026-63030&CVE-2026-60137）绿盟科技CERT 【风险提示】天融信关于WordPress Core预认证远程代码执行漏洞链wp2shell（CVE-2026-63030）的风险提示天融信阿尔法实验室

02AI代理攻陷Hugging Face：模型仓库成新攻击靶标

全球最大AI模型仓库Hugging Face遭自主AI代理系统攻击，内部数据集和服务凭据被未授权访问。与此同时，慢雾科技披露TRAE IDE扩展市场仍留存已被下架的恶意Solidity扩展，该扩展通过以太坊合约动态获取C2配置，植入跨平台持久化后门。一份新报告同步指出AI数据中心建设速度远超安全防护速度。AI基础设施已成攻击者的新靶标，且攻击工具本身也在AI化。

威胁情报｜TRAE 恶意扩展中的链上后门慢雾科技最新报告：人工智能数据中心十大风险数世咨询全球最大的AI模型仓库 Hugging Face 遭自动化AI代理系统攻陷代码卫士

0326篇顶会论文涌向Agent挖洞，漏洞研究已过临界点

2026年网安、软工、AI领域11个顶会共收录26篇基于Agent的漏洞全生命周期研究论文，覆盖挖掘、验证、利用与修复全链路。英国人工智能安全研究所报告显示，中国开源模型网安能力与美国差距已从6至10个月缩小至4至7个月。安全专家呼吁企业从静态漏洞管理转向基于风险的动态运营模式。AI Agent正在同时改写攻防两端的方法论。

2026年网安/软工/AI顶会基于Agent 的漏洞挖掘、验证、利用与修复的论文汇编漏洞战争 “中国开源模型网安能力与美国差距缩至4至7个月”数说安全 AI漏洞挖掘激增企业急需重构漏洞管理体系安全419

日本冷冻食品巨头Nichirei遭网络攻击，被迫断开系统影响运营（安全圈）

前沿科技

01特朗普瞄准中国开源AI，禁令将反噬美国防御体系

特朗普政府正考虑将中国AI实验室列入实体清单、禁止美国境内使用中国开源AI模型。Gary Marcus连续发文披露政策动向，HuggingFace联合创始人Clem Delangue连发两条反驳，称禁令对防御方的伤害是攻击方的十倍，开源模型不是风险而是防线。与此同时，AI标准与创新中心主任上任三个月即突然辞职，政策内部混乱信号加剧。若禁令落地，美国企业将无法使用Kimi等开源权重模型。

The cybersecurity debate on open-source AI is backwards. Open models aren't the risk, they're the de...clem 🤗(@ClementDelangue) Banning open-source AI would hurt defenders 10x more than attackers, which would make the world 10x ...clem 🤗(@ClementDelangue) Amid all the competing concerns about AI, including geopolitical tensions, the risks of unemployment...Gary Marcus(@GaryMarcus) If you hated @deanwball’s post, you will hate this even more.Gary Marcus(@GaryMarcus) If Chinese AI gets added to the entity list it's going to be hard for any American corporation to us...Suhail(@Suhail) major scoop, more signs of chaos in the Trump admin over AI:Gary Marcus(@GaryMarcus)

02英伟达开源Cosmos 3 Edge：端侧世界模型提速

英伟达发布Cosmos 3 Edge，一个专为端侧运行设计的开源前沿世界模型，可在Jetson和DGX Spark等设备上运行。模型权重、训练后方案与代码全部开源，已在HuggingFace上线。这意味着机器人与自动驾驶开发者能在边缘设备上直接运行前沿世界模型，世界模型从云端走向端侧的趋势正在加速。

Introducing Cosmos 3 Edge: our open frontier world model built to run on-device. Cosmos 3 Edge help...NVIDIA AI(@NVIDIAAI) As always, Cosmos 3 Edge is fully open. This includes model weights, post-training recipes and code....NVIDIA AI(@NVIDIAAI)

Replit编码智能体用OpenSCAD产出光剑架CAD，或为首件实体交付（Amjad Masad）
仅2.2%美国家庭拥有付费AI订阅，消费级市场仍处极早期（Amjad Masad）
Cognition收购运维智能体团队TierZero，拓展软件自动驾驶（Cognition）
Marcus称无政府干预OpenAI和Anthropic大概率经营失败（Gary Marcus）
奇异摩尔国产GPU直通RDMA方案实测吞吐飙升延迟砍半（量子位）
Recraft发布V4.1单模型，支持电影肖像到产品视觉多类型图像（Recraft）
Notion新增文件上传外部上下文与Computer工具导出PDF功能（Akshay Kothari）
ManusAI的Google Workspace连接器支持多账户细粒度权限（ManusAI）
Marcus称Chollet、LeCun、Sutskever与他均不认为LLM能实现AGI（Gary Marcus）
特赞科技WAIC推主观世界模型SWM，针对LLM决策建模缺陷（量子位）
Sarah Guo创办全AI风投Conviction，押注前沿小公司对抗头部实验室（Scott Wu）
奥特曼2023年称小团队难用千万美元预算与OpenAI竞争基础模型（Geek）

特朗普政府考虑将中国AI实验室列入实体清单，同时AI标准与创新中心主任上任三个月即辞职

以安全为名的AI开源禁令，保护的是安全还是市场？

灵砚视角：政策逻辑存在内在悖论——开源模型让防御者能审查和加固系统，禁令反而把安全可见性让给对手。真正的驱动力可能不是安全，而是AI定价权之争。

软件与开发者

01Kimi K3 从跑分到真实交付：能力坐实，配额短板成瓶颈

多源实测中，Kimi K3 编码能力获得一致肯定。掘金开发者用 K3 完成微信小程序全流程交付，确认其进入第一梯队；另一篇评测肯定其国产 AI 里程碑意义。但配额过少、使用门槛高在真实项目中更加突出。从跑分到交付的跃迁，暴露的不只是能力上限，更是定价的结构性约束。

用 Kimi K3 交付一个真实项目后：很强，但还有不足掘金本周最热全网都在吹的 Kimi K3，到底怎么样？掘金本周最热 Kimi k3是真碉，但太不经用，也有拉跨点！掘金本周最热

02Docker 复盘 Kiro 事故：Agent 误删生产暴露执行权限真空

Docker 发布 AI 编程智能体故障系列第三篇，复盘亚马逊 Kiro 智能体误删 AWS 中国区生产环境导致 13 小时停机事件。Agent 执行权限真空使风险从代码层升级到基础设施层。Docker 提出沙箱架构防护方案——但 Agent 权限治理仍缺乏行业共识，沙箱只是补丁不是答案。

Coding Agent Horror Stories: The Agent That Deleted ProductionDocker

JetBrains 实测 rtk 工具：声称省 60-90% token 实际未节省，低推理下反增成本（The JetBrains Blog）
快手风控团队引入 Agent 打破人月神话，重塑产运研职能从液态组织到角色转型（快手技术）
GitHub Sponsors 累计为开源维护者募集超 1 亿美元，近 7 万人获得赞助（The GitHub Blog / GitHub）
火山引擎推 Storage Agent Family，用自然语言交互重构云存储人机交互入口（字节跳动技术团队）
阿里云梳理企业级 Agent 工程演进路径：从 Prompt 到 Harness 需建操作系统级基建（阿里云开发者）
面壁智能开源 MiniCPM-Robot，1.5B 参数超 3-4B 主流 VLA 模型，算力仅 3.3 TFLOPS（机器之心SOTA模型）
PostgreSQL 之父 Stonebraker 炮轰 Oracle 和谷歌，直言计算机行业红利消退（dbaplus社群）
AI 生成代码崛起后前端裁员恐慌蔓延，作者呼吁转型把控质量与业务架构（掘金本周最热）
Ray 2.55 正式支持 Google Cloud TPU，可通过 KubeRay 简化分布式 Python 任务（Google Developers Blog）
Android Bench 7 月新版扩展排行榜增 8 款模型，采用 Harbor 框架优化 LLM 评估（Android 开发者）
GitHub 历时九个月清零 1.5 万仓库中超 2 万条密钥扫描告警（GitHub）
网传 DeepSeek V4 正式版即将发布，Anthropic 同时面临多方竞争压力（meng shao）

Docker 复盘 Kiro 智能体误删 AWS 生产环境事件，提出沙箱架构作为防护方案

Agent 获得生产环境写权限后，权限边界应该由工具层还是组织层定义？

灵砚认为，Docker 提沙箱方案说明业界已意识到 Agent 执行权限是基础设施级问题。但当前讨论仍停留在工具层，真正缺的是组织级的 Agent 权限治理框架，如同人类工程师需要 code review 和审批流程，Agent 也需要等价机制，而非仅靠容器隔离兜底。

消费电子

01千问3.8咬住Fable 5：国产模型差距加速收窄

爱范儿实测通义千问Qwen3.8-Max-Preview预览版，发现国产大模型正集体对标Fable 5，模型差距正在快速缩小。继Kimi K3之后，又一款国产模型在前沿能力上逼近海外顶尖。Fable 5近期因额度限制和降智争议陷入被动，国产模型正借窗口期加速追赶——前沿定价壁垒与能力差距同时承压。

实测千问 Qwen3.8 预览版，国产模型开始围攻 Fable 5爱范儿

02苹果之后三星交出端侧AI，外资手机依赖国产加深

继苹果国行AI落地后，三星也将端侧大脑交给国产AI供应商。外资手机在华AI策略正在趋同：不再坚持自建端侧智能，而是接入本土模型生态。从苹果到安卓阵营，端侧AI国产化正从个案走向行业默认，外资品牌的AI主权正在让位于本土合作。

苹果国行 AI 刷屏之外，三星也把端侧大脑交给国产 AI爱范儿

月之暗面拟最快半年内上市，AI大模型公司启动资本化（爱范儿）
荣耀Robot Phone开启预约，手机厂商入局具身智能硬件（爱范儿）
IDC预测2030年全球活跃智能体将超22亿个（爱范儿）
商汤U1 Pro实测：AI生图从「好看」转向「能用」（爱范儿）
长城H10预售21.48万起，五座六座同价瞄准家庭越野（爱范儿）
watchOS 27公测版上线，手势操控让手表免触屏交互（少数派）
坦克300分化：19.98万起，标轴越野长轴进城（爱范儿）
华为田涛：企业竞争是信命运与信管理两类人的竞争（笔记侠）
颜艳春提i2X管线经济范式：智业时代反转工业生产逻辑（笔记侠）

千问3.8预览版实测追Fable 5，同时Fable 5因额度限制陷入被动

对手犯错给的追赶窗口关闭后，国产模型能否守住差距？

灵砚视角：Fable 5降智与限额给了国产模型罕见的追赶窗口。但窗口期的本质是对手犯错而非自身变强——当海外模型恢复供应，差距是否重新拉开才是真正分水岭。