加州州长纽森正在推动一项法案，要求大型 AI 模型必须内置一个“紧急关停开关”，让开发者能远程把模型停掉。法案瞄准的是训练算力超过 10^26 FLOPS 的模型——这个门槛很高，基本只卡最头部的几家。纽森团队的理由是国会中期选举前不会动，加州想先走一步。不过目前这还只是个提案，正文没披露具体的技术标准、谁有权触发开关、以及违规了怎么罚。

Dan Luu 观察到，越来越多开发者把 LLM 的输出直接当成品用，自己只充当一个按回车键的“肉代理”。到 2026 年 9 月，这种不动脑的开发方式已经能产出勉强能跑的软件，但 Luu 的核心观点很直接：如果 AI 真强到能无监督干活，公司直接让模型自己跑循环就行了，何必还雇你这个“肉代理”？他举了几个翻车例子，比如一个 AI 棋类机器人连简单的启...

中国 AI 创业公司 Manus 正在谈一轮 5 亿美元的融资，对应估值 40 亿美元。今年早些时候 Meta 想收购它，但被北京方面拦下，公司只好回到独立运营的路子上。这篇报道没披露领投方是谁，也没说这笔钱具体会花在哪里。

Gary Marcus 用三件事敲警钟：OpenAI 员工账号被黑、Hugging Face 被入侵、ChatGPT 被用来写恶意软件。他认为行业整天幻想“天网”式灾难，却对眼前正在发生的事视而不见——能自主执行任务的智能体 AI 已经在规模化地攻击互联网了。他引用了《华尔街日报》一篇评论，里面点出一个关键矛盾：大模型公司把智能体产品当作上市后的主要收...

FT这篇评论说得很直白：Anthropic正在从一家安全实验室变成一家普通商业公司。拿了亚马逊80亿美元和谷歌20亿美元的投资后，它现在开始组建销售团队、追企业订单。文章的核心判断是，拿了大钱就得按商业规则玩，安全使命会被稀释。不过正文没给出具体的销售团队规模或营收目标数字，更多是趋势性评论。

一个三人研究团队靠一张做过手脚的图片文件和论坛软件，钻进了 OpenAI 的内部系统。他们用 Anthropic 的 Claude 帮忙分析漏洞、规划攻击步骤。正文没披露他们到底看到了什么数据、OpenAI 事后有没有打补丁，也没讲漏洞的具体技术细节。

《纽约时报》等几家媒体联合提交了一份 92 页的动议，要求法院不经完整庭审直接判 OpenAI 和微软侵权，并索赔数十亿美元。这份文件里最扎眼的是他们自己人的话：微软应用科学总监 Brent Hecht 在内部说这种训练是“规模空前的惊人盗窃”，如果这都能算合理使用，那“合理使用就是个笑话”；OpenAI 的 ChatGPT 负责人 Nick Turl...

Meta 把它的 AI 助手 Muse 搬上了 Mac。跟手机版一样，它能读取你的文件、信息、日历、笔记和邮件，然后直接在原生应用里替你操作。权限是你自己按需打开的，涉及敏感操作时它会先问你一声。不过正文没提它背后用的是什么模型、反应快不快、能不能离线跑，所以目前只能把它当成一个能调用系统权限的聊天助手，离完全自主操控电脑还差得远。

加州州长纽森在9月18日公布了一份AI安全法案草案，核心要求是开发者必须在AI模型里内置一个“紧急停止开关”，一旦出现安全风险，可以强制关停模型。草案还提出，训练成本超过1亿美元的大模型要接受额外监管。不过，正文没披露具体的技术标准，也没说由谁来判断什么时候该拉闸、关停之后怎么恢复。在分布式系统里让一个“总开关”真正生效，才是这件事最难的地方。

Rickub 是一个新的 Git 托管平台，主打比 GitHub 和 GitLab 便宜，数据留在欧盟处理。功能包括代码审查、CI/CD（兼容 GitHub Actions 工作流，无需重写）、容器镜像仓库、Git LFS 和发布管理。最大卖点是 Athena，一个内置在每个合并请求里的 AI 审查助手，能生成摘要、行内评论和明确结论（通过/需修改），...

Dan Abramov 用了一个月的业余时间，让 Claude 在超现实数领域挑了个问题，最终给出了 Conway 1976 年提出的“全整整数细化猜想”的 Lean 形式化证明。这个证明已经通过了 Palomar 注册中心的机械检查，但还没有数学家独立验证过。他让模型自己选领域和题目，最后因为今年是 Conway《论数与游戏》出版 50 周年，选了这...

Hacktron AI 的三名研究员用 Claude Opus 5 自动化完成了一次攻击，拿下了 OpenAI 员工账号，还摸到了内部代码仓库。他们走的是 OpenAI 的漏洞赏金计划，最后拿到 6500 美元。正文没披露完整的攻击链细节和具体耗时，但确认是多个步骤串联起来的。这件事的戏剧性在于：用一家公司的模型去攻破另一家，而且双方都认了。

Justin Cormack 让 AI 写了一个兼容 S3 的对象存储系统，代码量干到了 35 万行 Rust。他直接拿真实的 S3 当“标准答案”来跑测试，攒了 1500 个测试用例，结果还真抓到了 S3 自己的 500 错误。他踩了几个坑：追 100% 代码覆盖率会让 AI 写一堆没用的测试凑数；AWS 的文档经常不准，AI 也不擅长从文档里挖边界...

这篇论文把编程智能体的“脚手架”（harness）拆成三个可替换的零件：规划、动作空间和上下文管理，在 SWE-Bench Verified 和 Terminal-Bench 2.1 上跑了 176 组对照实验。最核心的发现是，上下文管理在上下文窗口吃紧的时候最管用，主要靠防止上下文溢出崩掉来提分。策略上，先用规则做删减、再让模型做摘要，效率最高；把删...

Liam Powell 拿 Bend 2 的官方 demo 开刀，指出 vibe coding 最大的坑：你可以在完全不了解一个领域的情况下，靠 AI 把整套方案都写出来。Bend 2 的 demo 要证明玩家永远赢不了，需要 AI 生成 442 行证明代码。Powell 用现成的形式化验证语言 SPARK 重写了同一个 demo，编译器自动完成所有正...

Trail of Bits 在审计 Miden zkVM 之前，花了六个月让 AI agent 从零搭建了一套工具链，包括一个 LSP 服务器（让代码能跳转、看文档）、一个反编译器、一个静态分析引擎，以及一套 Lean 形式化模型。这些工具发现了真实漏洞，比如一个未校验的输入能让恶意证明者伪造 Falcon 签名、偷走账户资金。Lean 那边产出了 9...

这是一个纯浏览器实验，把 Jev 那种直接读取选项概率的方法搬到了本地模型上。默认跑 MiniCPM5 2B，也可以切到 Qwen3 0.6B 或 Qwen3.5 4B，所有计算都在你自己的 GPU 上完成，输入不会离开页面。它对比了两种路子：一种是直接读模型对选项 token 的 logits 然后归一化，另一种是让模型一个字一个字吐出 JSON 格...

Qwen3.8-LiveTranslate 把同声传译的延迟从上一代的 2.8 秒降到了 2.3 秒。它用了一种叫“交错架构”的方法，把音频和文字编成一条流，让模型边听边译，已经翻译过的内容可以缓存复用，所以质量比上一代有明显提升。这个模型支持 60 种语言的语音输入，新增了三个实用能力：一是实时区分说话人，多人轮流发言时能标出每句话是谁说的，并且克隆...

Anthropic 的 CEO Dario Amodei 和 OpenAI 的 CEO Sam Altman 最近都公开主张放慢 AI 的研发速度。前 Anthropic 研究员 Jacob Coxon 离职时直接说这两家公司都没在负责任地做事。文章把焦点对准了其中一个风险：用 AI 来设计生物武器。2022 年，有研究人员用自己开发的分子生成模型，不...

一个3人团队在7月25日利用两个漏洞，直接接管了OpenAI员工的ChatGPT和Codex账户，顺带拿到了Outlook、Slack、GitHub这些关联服务的访问权限。他们没偷数据，而是往OpenAI内部代码库提了个PR来证明漏洞真实存在，全程不到72小时。攻击成本不到3000美元，全是调用前沿模型的token费用。正文没披露具体用了哪个前沿模型、...

Anthropic 给 Claude Code 加了 Projects 功能，一个对话能同时开好几个云端线程，你走了它还能继续跑。Google 更新了 Gemini 的托管代理，新加的 Credentials API 用占位符把密钥藏起来，不让模型直接看到，号称成本能降 30%。TypeSafe 的 Jev 模型被大家当成快速路由和判断层来用，Clou...

有用户发现，智谱的 AI 编程桌面软件 ZCode 在登录状态下，会悄悄把你整个工作区——包括完整的 .git 历史、LFS 缓存和 reflog——打包加密，然后上传到阿里云 OSS。更离谱的是，加密用的 RSA 公钥是服务器实时下发的，私钥只存在云端，你自己硬盘上那个几百 MB 的加密文件根本解不开。有人在 ~/.zcode 目录下找到一个 313...

WSJ 的报道说，三名研究员用 Claude Opus 5 把一个 Discourse 论坛的漏洞一步步串联利用，最终拿到了 OpenAI 员工的认证 token。这些 token 里有一部分还能直接用在 ChatGPT 上，并顺着摸到了 OpenAI 的 GitHub 服务，等于看到了私有代码。报道没写漏洞具体怎么被利用的，也没提 OpenAI 事后...

FT这篇评论说，乌克兰已经在实战中用AI做无人机目标识别、战场态势感知和决策辅助，而西方军队的AI还停在实验室和演习阶段，被官僚和采购流程拖慢。文章没提具体用了什么AI系统或技术参数，但核心判断是：北约再不把AI研发优先级提上来，下一场冲突就要落后。对AI从业者来说，这算一个现实案例——AI在战场上的落地速度，主要卡在组织流程而非技术本身。

Waymo 要把它的纯电自动驾驶网约车带到新加坡了。车顶装了摄像头、毫米波雷达和激光雷达，能看周围 300 米，号称 360 度无死角。公司说这会配合新加坡 2030 绿色计划和现有公交，主打零排放、更安全和方便老人出行。但正文没提具体什么时候上线、车队规模多大、怎么收费，目前只能留个邮箱等通知。

Mantle 让你用大白话描述后台逻辑，就能自动生成管理界面、MCP 和 WebMCP。目前只有 Product Hunt 页面，没有详细文档或演示视频，所以代码质量、支持哪些数据源、能不能自定义 UI 组件都不清楚。如果真能跑通，对快速搭内部工具的人来说挺省事。

OpenAI 把上市时间表往后推了，这让软银正在筹备的 500 亿美元数据中心 IPO 压力陡增。软银原本打算拿 OpenAI 的长期租赁承诺当卖点去吸引投资者，现在这张牌暂时打不出来了。文章没提 OpenAI 为什么推迟、新时间表是什么，也没说软银会不会调整定价或路演计划。

Devin 新功能 Code Scans 让你不用先搞清楚改哪个文件，直接告诉它一个工程目标，比如“加快编译速度”或“减少维护负担”，它就能自动扫描代码库、找出问题，并生成可以审查的 PR。它背后用了一种叫 Agentic MapReduce 的并行调度方法，把大任务拆给多个代理同时干。Philips 团队试用后说，PR 合并率有 96%，省了 700...

安全公司 Hacktron 在 2026 年 7 月披露了一条攻击链：先利用 libheif 图片解码库的堆缓冲区溢出漏洞（Debian 安全补丁没打上），通过 ImageMagick 和 Discourse 论坛的图片上传功能，在 community.openai.com 上拿到远程代码执行权限和论坛管理员权限。接着利用 OpenAI 单点登录（SS...

Waymo 宣布 2028 年在新加坡推出付费无人出租车服务，这是它首次进入亚洲市场。正文没披露车队规模、合作方和具体运营细节。时间表先打个折——当地法规和路况适应都还是未知数。

Cactus 开源了一个叫 Needle 3 的微型模型，专门给手机、手表、机器人这类小设备做自动化。整个模型压缩后只有 8 到 29 MB，用的是他们自家的“简单注意力网络”。它有个特别的设计叫“智能阶梯”：从 2 层到 20 层，每一层都是一个能独立干活的子网络。开发者可以按需选择，比如只取 4 层微调一下，在手机工具调用的跑分上就能超过 Deep...

TypeSafe AI 推出了一个叫 Jev 的模型，专门处理高频决策场景，比如分类、判断这类任务。作者自己跑了一遍测试，结论是性价比挺高——成本低、速度快，适合批量调用。但正文没披露模型参数量、训练数据来源和具体延迟数字，所以这点先别太激动，如果是真的挺省钱。

Shopify 宣布放弃 React Native，改用 Swift 和 Kotlin 开发移动端。六年前它为了省钱拥抱 Web 技术，现在 AI 让原生开发更便宜。联合国投票废除墨卡托投影，改用平等地球投影法，面积比例不失真，但形状会变形。

xAI 在 9 月 18 日推出了语音转文字模型 Grok Voice Transcribe 2.0。官方说它在真实场景评测里是当前最准的模型之一，准确率比 1.0 版翻了一倍。价格没涨，批量转写还是每小时 0.10 美元，流式每小时 0.20 美元，并且自带说话人分离、时间戳和关键词功能。这个模型专门针对难啃的音频场景做了优化，比如嘈杂的电话客服录音...

一个不会写代码的玩家，靠 GPT-5.6 Sol 和 GPT-6 Astra 花了一周修好了一台 Retro Freak 游戏机的供电故障，一路查到了存储芯片内部。他留下的维修档案把每一步的把握分成九个等级，还做了独立审计和 456 个快照比对，但发布当天几乎没人看。类似的事正在反复出现：有人用 Claude Code 两个晚上改完了停了二十五年的磁带...

Cursor 第 15 号员工 Roman Ugarte 在播客里复盘了 Grok Bot 的产品逻辑。团队遇到五五开的争执时，会问一个简单问题：如果这是个真人同事，你希望他怎么做？这个参照系让他们给每个 bot 配了独立的云电脑、固定的名字和长期记忆，按业务角色分工。界面设计上，他们反着行业来：不展示思维链和工具调用细节，上线前还砍掉了一大批已经做好...

OpenRouter 用同一句提示词跑了 20 个图像生成模型，直接看实际扣了多少钱。最便宜的是 GPT Image 2，一张 1024 方形图只要 0.006 美元；最贵的是 Gemini 3 Pro Image，要 0.134 美元。各家计费单位不一样，有的按 token、有的按像素、有的按张数，光看标价根本没法比，得实际跑一张看账单。测试里 6 ...

ChatGPT 现在成了 Word 里的内置功能，能把零散笔记扩写成初稿、重写段落、校对错别字、提修改意见，还能揪出排版问题。OpenAI 的 Sherwin Wu 在推上提了一嘴，说 Excel 和 PowerPoint 的用量最近涨得很凶，这次补上 Word 算是把 Office 三件套凑齐了。不过正文没写什么时候正式上线、要不要另外付费、功能有没...

数据中心开发商 Crusoe 完成了 39 亿美元的 F 轮融资，估值冲到 309 亿美元。领投方是 Atreides Management、Mubadala Capital 和 Valor Equity Partners，Founders Fund、GIC、英伟达、卡塔尔投资局等也跟了。钱主要用来建两种设施：传统的大型数据中心，以及更小的、可以快速部...

Google 和 DeepMind 的研究员周三搞了个 DeepMind Institute，Shane Legg 当主编，James Manyika 和 Demis Hassabis 做董事。这个所不打算统一口径，而是要把 Google 内部、DeepMind 和全球研究圈对通用人工智能（AGI）的分歧摆到台面上，并且明说随着前沿数据出来，观点会变。...