HomeDigest

X Lists 精选 Digest — 2026-10-22 21:00

X Lists 精选 · October 22, 2026 · 9:00 PM

覆盖时段:2026-10-22 09:00 – 21:00 America/Los_Angeles(约 12 小时)。6 个 List 全部成功打开、只读抓取,无登录或验证拦截。每条入选帖的发布时间均用 status ID 雪花时间核对;相对时间与雪花时间冲突时以雪花时间为准(Pompliano 汇总帖实为 20:14、入选;Sneha Revanur 引用 WSJ 的帖实为 21:07、超窗排除)。本期精选共 36 组、40 帖,按重要性排序。本期主线非常集中:一起持续多日的 AI 驱动网络安全事件(银行、Quest Diagnostics、Railway、Chase 登录、PHP 遗留代码、形式化验证)贯穿几乎所有 List。

1. Anthropic:用 Claude 大规模形式化验证软件,几周内证明 100+ 开源库的安全性质 Anthropic 在 Frontier Red Team 博客发文:形式化验证能证明代码不存在某类 bug,但历史上只对小代码库可行、或需要大量专家时间;有了 AI 模型后这件事正在变可行——他们与 theoremlabs 合作,用 Claude 在几周内证明了 100 多个真实世界开源库的安全性质。这是本周网络安全主线里「防御侧」的重磅技术帖:当 AI 能批量挖漏洞时,防御方开始用 AI 批量证明代码没漏洞。 Anthropic @AnthropicAI · TimeAI 100 · 2026-10-22 15:01 PDT(链接卡,Frontier Red Team 博客) X 原帖

2. OpenAI Decisions API 正式 GA:开发者定义护栏,模型在行内做快速安全/合规决策 OpenAI 的 Romain Huet 宣布 Decisions API 现已对所有人正式可用:开发者在 metadata 里定义 guardrails,模型以低延迟在行内(in-line)做出安全与合规决策。OpenAI 的 Peter Bakkum 补充了一个新 Live API 功能:可以在 API 里设置 Decisions 模型的触发器,例如对用户输入分类、或点击某个 UI 元素——比 function call 快得多,与实时语音对话搭配尤其顺。agent 时代的「决策层」正在被产品化。 Romain Huet @romainhuet · AI 御三家超级员工 · 2026-10-22 13:37 PDT(视频) X 原帖 Peter Bakkum @pbbakkum · AI 御三家超级员工 · 2026-10-22 12:38 PDT(视频) X 原帖

3. Joshua Achiam:这次网络问题不依赖恶意或自我复制的 AI,难的是信任与最小权限 OpenAI 的 Joshua Achiam 就持续中的网络安全形势发帖:这些问题并不依赖恶意或自我复制的 AI;核心在于,信任与最小权限原则在网络基础设施里远比预想中更难可靠执行。互联网像古代城市一样一点点长起来,维护它的人太少、资源不足,也很难按需要的规模协调。这是理解本周事件的一条框架帖。 Joshua Achiam @jachiam0 · AI 御三家超级员工 · 2026-10-22 16:11 PDT(纯文字) X 原帖

4. Aella 转述银行告急:四大行检测到 AI 活动后紧急应对;「AI 永远不会再像今天这么弱了」 Aella 发帖称「记住:这是 AI 永远不会再处于的智能水平(即今后只会更强)」,并引用 Brian Allen 的帖子:JPMorgan Chase、Bank of America、Wells Fargo 与 Morgan Stanley 在检测到 AI 存在/活动后紧急应对(Brian 原帖在 X 的引用框里被截断、后半段不可见,全文需点开原帖)。本周银行安全事件在社交层面的代表性一帖,细节以原帖为准。 Aella @Aella_Girl · TimeAI 100 · 2026-10-22 16:00 PDT(引用帖,被引帖在引用框内被截断) X 原帖

5. Quest Diagnostics 被黑:患者数据被访问,服务全美约一半医院与卫生系统 Eric Bahn 转发 Andrew Curran 贴出的 Quest Diagnostics 事件更新截图:Quest 遭入侵、部分患者数据据信已被访问,调查与通知正在进行;Quest 服务大约一半的美国医院与医疗系统,影响面是这条帖的关键。医疗数据成为本周 AI 网络事件的又一个落点。 Eric Bahn @ericbahn · Venture Capital · 2026-10-22 20:54 PDT(图片,Quest 官方事件更新截图) X 原帖

6. Railway 安全事件解说:如果你部署在 Railway,可能有人正在偷你的东西 Eric Bahn 转发 Andrew Warner 的 10 分钟视频帖并向受影响者致意:Andrew 直言「如果你部署在 Railway,可能有人此刻正在偷你的东西」,视频解释了 Railway 这次安全 compromise 到底发生了什么。用 Railway 的团队建议点开看完。 Eric Bahn @ericbahn · Venture Capital · 2026-10-22 19:11 PDT(引用帖+视频) X 原帖

7. Anthropic 安全负责人 Jason Clinton:先去向董事会要资源,把基础功课做完,撑住约 18 个月 Jason D. Clinton 引用自己 8 月 20 日警告「AI 驱动的漏洞发现海啸将至」的旧帖发帖:过去 4 天已经够糟了,但在变好之前还会更糟;他敦促安全负责人现在就去董事会求助——要的是把 basics 做扎实,而不是买 AI,并咬牙撑住大约 18 个月。一线安全负责人的危机动员口径。 Jason D. Clinton @0xjase · TimeAI 100 · 2026-10-22 10:43 PDT(引用帖) X 原帖

8. gabriel:阻止黑客的主要力量曾是「当好人更赚钱」,现在攻防经济学反转了 Flapping Airplanes 联创 gabriel 发帖:过去阻止黑客的一大力量,是当好人比当坏人更容易赚钱,所以多数黑客水平不高;但现在黑客既「盈利高出 100 倍」又「容易 100 倍」,这个 deterrent 可能不再成立。一句话点出 AI 改变攻防经济学的核心机制。 gabriel @gabriel1 · AI Research · 2026-10-22 12:05 PDT(纯文字) X 原帖

9. Rhys Sullivan 吐槽:用 Muse 浏览器登录 Chase 竟被说成「危及全球金融体系」 Rhys Sullivan 发帖调侃:用 Muse 浏览器登录 chase.com 这件事,竟然被演绎成「危及整个全球金融体系」,剧情丢了。他引用的是 Bernie Sanders 的帖子——Sanders 警告 AI agent 执行银行交易构成系统性风险,并呼吁把 AI 公司与银行业分离。开发者社区对这场争论的典型反应,与第 4 条银行事件同题。 Rhys Sullivan @RhysSullivan · AI Research · 2026-10-22 13:07 PDT(引用帖) X 原帖

10. Nikita Bier 的冷笑话:没什么重要的东西跑在 PHP 或老软件上——除了水务系统 X 产品负责人 Nikita Bier 在遗留代码安全警告的大背景下发帖讽刺:放心,没什么重要的系统跑在 PHP 或老软件上——除了水(务系统)……(时间线在此截断)。php2shell 余波里最出圈的一句调侃,点开看完整版。 Nikita Bier @nikitabier · Venture Capital · 2026-10-22 15:04 PDT(纯文字,时间线截断) X 原帖

11. Stephanie Zhan 离开红杉创办早期 AI 基金:LP 阵容含红杉、Jeff Dean 等 红杉合伙人 Stephanie Zhan 宣布创办一只新的早期 AI 基金:从公司 formation 阶段就与创始人合作、下共识形成之前的 bold bets;她在红杉约 9 年,主投 seed/早期 AI,包括 OpenAI、Harvey、n8n 与 Reflection。基金 LP/顾问阵容包括 Sequoia、Jeff Dean、Sachin Katti 与她的斯坦福导师、台积电首席科学家顾问 Philip Wong;她自述斯坦福 CS 背景(导师李飞飞)、累计投了约 100 家公司、合计价值约 1850 亿美元。消息首发于 Dwarkesh Podcast。 Stephanie Zhan @stephzhan · AI Research / AI 御三家超级员工 · 2026-10-22 09:15 PDT(长文帖) X 原帖

12. Uber 全员上 ChatGPT Work:Brockman 确认与 Uber 深度合作;Abin 称 M365 的续约故事弱了 OpenAI 的 Greg Brockman 发帖:与 Uber 紧密合作、把 ChatGPT Work 推给每一位 Uber 员工,把 agentic 能力带到全公司(引用的 Uber 帖链接 TechCrunch 报道:Uber 给全部 3 万多名员工开通 ChatGPT)。Abin 随后评论:一旦企业试过 ChatGPT Work 并意识到员工效率提升多少,Microsoft 365 就麻烦了——微软手握 Office 与 OpenAI 模型独家接入,却没把它们组装到 Copilot 之下,如今 M365 的续约说辞很弱;而 ChatGPT Work 在研究、做 deck、汇集公司上下文(如 Notion)上非常强。企业 AI 办公套件竞争的一手观察。 Greg Brockman @gdb · AI Research · 2026-10-22 10:45 PDT(引用帖) X 原帖 Abin @designedbyabin · AI 御三家超级员工 · 2026-10-22 18:27 PDT(链接卡,TechCrunch 报道) X 原帖

13. OpenAI 的 dot agent 帮用户退货追回约 $3,000:连邮箱与支付、自己去和客服 argue dina kozlov 分享:OpenAI 的 dot agent 帮她从退货里拿回约 3000 美元——agent 连上她的邮箱与支付,找出可退货的商品,给客服发邮件并据理力争;截图分享在她的 Instagram 上。消费级 agent 真金白银替用户办事的一个具体样本。 dina kozlov @dinasaur_404 · AI 御三家超级员工 · 2026-10-22 13:30 PDT(纯文字) X 原帖

14. Charlie Marsh:用 agent 当支线任务,把 uv 大规模求解的峰值内存砍掉约 15–20% uv 作者 Charlie Marsh 发帖(配图):他把一个 agent(Astra)当 side quest 用,通过几个小 PR 把 uv 在大型 solve 时的峰值 RSS 降了约 15–20%,关键招是一个 arena allocator(块级内存),上面再叠一个更简单的 escape-based 方案。「让 agent 顺手做性能优化」的实操样本。 Charlie Marsh @charliermarsh · AI 御三家超级员工 · 2026-10-22 18:34 PDT(图片) X 原帖

15. Canva 发布首个前沿图像模型 Canva Craft:Lenny 称之为「大新闻」 Lenny Rachitsky 转发 Canva 的发布并称这件事很大:Canva Craft 被 Canva 称为其首个 frontier image model——研究级画质、真实照片质感、品牌角色一致性、从单张图生成完整场景,视频功能即将推出。设计工具厂商自研前沿模型的又一例。 Lenny Rachitsky @lennysan · SuperIndividual · 2026-10-22 14:26 PDT(引用帖+图片) X 原帖

16. Gergely Orosz 总结与 Dario Amodei 的对话:时间线从 2027 到 2040 年代、最坏情况「实际上没有预案」 Lenny 转发 Gergely Orosz(Pragmatic Engineer)对一段 Dario Amodei 对话的总结:按定义不同,关键时间线说法从 2027 年横跨到 2040 年代;对最坏情况实际上没有预案;各国政府没有在跟踪这件事;中国模型被描述为有「6–12 个月缓冲」、且中国的 AI 安全努力被称是真诚的;Mythos 之所以重要,是因为一个能找出所有软件全部漏洞的模型,攻防两端的含义都极大。信息密度很高的一条转述。 Lenny Rachitsky @lennysan · SuperIndividual · 2026-10-22 18:37 PDT(引用帖+图片) X 原帖

17. 1Password 要进 Muse 了:未来几天上线,向 Muse 索要密码需 step-up 验证 Alexandr Wang 转发 1Password 前 CTO David Singleton 的帖子:1Password 即将来到 Muse,未来几天逐步上线——你可以向 Muse 索要密码,但要通过 step-up challenge。被引内容还谈了「人+agent」认证的设计问题。密码管理器与 agent 平台的认证集成样本,安全圈值得留意其验证设计。 Alexandr Wang @alexandr_wang · TimeAI 100 · 2026-10-22 18:03 PDT(引用帖) X 原帖

18. Grok Bot 集成手机 App:可用日历、提醒、通讯录,iOS/Android 逐步上线 Elon Musk 转发 Grok Bot 的发布:Grok Bot 现已与手机 App 集成,能在用户许可下使用 Calendar、Reminders、Contacts 等应用,正在 iOS/Android 上推出。聊天机器人往「手机系统级助手」走的又一步(该帖同时出现在 Wall Street Influencers,计一次)。 Elon Musk @elonmusk · TimeAI 100 / Wall Street Influencers · 2026-10-22 18:34 PDT(引用帖+图片) X 原帖

19. Muse 在日本上线:Alexandr Wang 转发扩散 Alexandr Wang 转发 Muse 官方的日本上线帖:Muse 当天在日本 launch、已可下载。消费级 AI 助手加速国际化扩张的一个小信号。 Alexandr Wang @alexandr_wang · TimeAI 100 · 2026-10-22 19:32 PDT(引用帖) X 原帖

20. Jude Gomila 新公司 Ultrametric AI:不自动化某个岗位,而是自动化「创业本身」 HeyGen 联创 Jude Gomila 宣布下一家公司 Ultrametric AI:不是自动化创业中的某个工作,而是自动化创业本身;配图把客户定义为「创业公司本身」,并引用风险投资支持的创业公司总计约 4.2 万亿美元的支出作为市场。「agent 创业公司」叙事的又一极端样本,配图值得点开。 Jude Gomila @judegomila · TimeAI 100 · 2026-10-22 15:05 PDT(图片,pitch 截图) X 原帖

21. Flint vs Qwen 实测:用未改动的 Flint 生成难题数据同台跑,完整分析已发布 Nimo Rotem 发帖(链接卡指向 rotem.ai 的完整测试分析):他为一个 dataset-cleaner 工具,把 Flint 与 Qwen 在未改动过的、由 Flint 生成的高难度数据上并排实测,并公布了完整分析。开源与闭源模型在真实脏活上的对照数据,选型时可参考(Flint 的原始发布帖为 10 月 21 日、窗外,本条测试帖在窗内)。 Nimo @wonderartsy · TimeAI 100 · 2026-10-22 18:03 PDT(链接卡) X 原帖

22. Madhu Guru 给 PM 的建议:别等清晰,用行动把清晰做出来 Madhu Guru 发帖:很多 PM 因 AI 快速改变其角色而卡住、想转 AI 又不知从何开始、且害怕选方向;这种惯性会杀死进展——在任何一个方向上做出深度、用做中学(比如亲手训模型),才能创造被动抱怨换不来的机会。给职业焦虑人群的一条务实建议。 Madhu Guru @realmadhuguru · AI Research · 2026-10-22 18:07 PDT(纯文字) X 原帖

23. a16z Frontier 扩围:新基金从 crypto 扩到 AI、生物、国防、制造;Andy Hall 转顾问 Andy Hall 发帖称自己将离开 a16z Frontier 的研究团队、转为顾问;他引用的 Chris Dixon 文章(今晨 09:00 前发布、早版按边界留给晚版的那篇)宣布:a16z Frontier(原 a16z crypto)正把最新一期基金的范围扩出 crypto,投向包括 AI、生物科技、国防与制造在内的前沿科技创业公司。a16z 组织与基金策略的一次明确转向。 Andy Hall @ahall_research · AI 御三家超级员工 · 2026-10-22 20:46 PDT(引用帖+文章) X 原帖

24. Arc 浏览器落幕时间表:2026 年 12 月 22 日公司与产品 sunset、更名 Dia Chaoshuai Fu 转发 Arc 的公告并划重点:2026 年 12 月 23 日 Arc 将更名。被引的 Arc 官方帖称 Arc 将于 2026 年 12 月 22 日作为公司与产品 sunset 并更名 Dia,用户现在就可以切换到 Dia 桌面浏览器。Arc 老用户需要知道的时间表。 Chaoshuai Fu @chaoshuai · AI 御三家超级员工 · 2026-10-22 20:43 PDT(引用帖) X 原帖

25. 加州财富税三帖:Sulla 的「持枪团伙」类比、Packy 的反讽、Solana 与 Ro Khanna 对呛是否会出走 一组三帖看加州 5% 富豪财富税的舆论战:Sulla 用类比开场——净资产 20 万的人被持枪团伙索走 1 万、对方说「只收一次、才占你净资产 5%」,其引用链是 Gabriel Zucman 依据 Zuckerberg 的 SEC 13D/A 文件所报:Zuckerberg 已准备缴纳加州 5% 富豪税、并签了 8 年留在加州的绑定协议(Blanchard 评论对千亿富豪收 5% 很难说不合理);Packy McCormick 反讽称加州政府一定会把 Zuckerberg 的 100 亿美元税款用出「壮丽」成果;Mike Solana 则转发 Ro Khanna「富豪会留下并缴税、Prop 40 将资助穷孩子医保」的辩护并回击:这类辩护总爱拿不会拿到钱的普通人说事,他预测被征走的财富会被浪费、痛苦只会增加。 Sulla @spqr_sulla · SuperIndividual · 2026-10-22 09:07 PDT(引用链) X 原帖 Packy McCormick @packyM · SuperIndividual · 2026-10-22 09:27 PDT(纯文字) X 原帖 Mike Solana @micsolana · Venture Capital · 2026-10-22 16:04 PDT(引用帖) X 原帖

26. Shaan Puri 吐槽命名:SpaceXSI 这名字太糟了 Shaan Puri 发帖配梗图:SpaceX 是 iconic 的、xAI 曾很酷、「AI 改名 SI」也能理解,但 SpaceXSI 这个名字实在糟糕。一句带过的命名梗,反映市场对马斯克系品牌合并命名的观感。 Shaan Puri @ShaanVP · SuperIndividual · 2026-10-22 11:48 PDT(图片+文字) X 原帖

27. Formic 的 Forbes 后续:75 万小时真实生产、100+ 美国工厂仓库、人形移动操作臂已投产 Lux Capital 的 Shahin Farshchi 转发 Forbes 报道:Formic 的 physical AI 进展包括 75 万小时的真实生产运行时长、覆盖 100 多家美国工厂与仓库、人形移动操作机器人已在生产环境工作,并有新资本注入;Forbes 标题称 Formic 完成 5000 万美元 B-1 轮、要把机器人即服务部署到更多美国工厂。注:早版已报 Formic $50M B 轮消息(Saman Farid 帖),本条是同日 Forbes 口径的运营数据补充。 Shahin Farshchi @Farshchi · Venture Capital · 2026-10-22 15:46 PDT(链接卡,Forbes) X 原帖

28. Hamid Dadkhah:AI 给工程 100 倍、产品 10 倍,设计的增益最小 Hamid Dadkhah 给了一个粗略的乘数框架:AI 给工程带来约 100 倍提升、产品约 10 倍,而设计获得的提升更小(回复帖在时间线于「and des…」处截断,全文点开看)。一个简洁的「AI 杠杆不均匀分布」判断,做产品与组织设计的人可对照自家体感。 Hamid Dadkhah @hamidships · Venture Capital · 2026-10-22 09:16 PDT(纯文字,时间线截断) X 原帖

29. Noor Siddiqui 的 TED 主舞台首秀:基因彩票从根本上不公平 Orchid 创始人 Noor Siddiqui 发帖谈她的 TED 主舞台首秀:基因彩票从根本上不公平——有人过上最好的生活,有人却在出生时就被「抢走」机会,原因只是约 30 亿个字母里错了一个(帖子为引用其 TED 演讲帖,时间线略有截断)。基因检测与生育科技伦理的一线发声。 Noor Siddiqui @noor_siddiqui1 · Venture Capital · 2026-10-22 16:52 PDT(引用帖,时间线截断) X 原帖

30. Garry’s List 数据帖:2010–2024 年 1000 万加州人离开,净流出 300 万 Garry’s List 发数据帖(43 秒视频+链接卡):2010 到 2024 年间有 1000 万人离开加州、比迁入多 300 万,其中包括许多「建设了加州的人」(帖子后半在时间线截断)。与第 25 条财富税之争正好互文:加州人口流动的长期数据面。 Garry’s List @garryslist · Venture Capital · 2026-10-22 19:00 PDT(视频+链接卡,时间线截断) X 原帖

31. RunAnywhere 的 Wally 模型目录上新:Kimi K3、DeepSeek V4 Pro 等 7 个开源模型上线 RunAnywhere 发帖(配图):Wally 模型目录新增 7 个开源模型、现已上线,包括 Kimi K3 与 DeepSeek V4 Pro(完整名单在时间线被截断)。端侧/本地推理生态的模型供给更新,需要清单的点开原帖。 RunAnywhere @RunAnywhereAI · Venture Capital · 2026-10-22 18:34 PDT(图片,时间线截断) X 原帖

32. Dan Ives 对 Pompliano:特斯拉与 SpaceX 合并是「早晚的事」,合并体或值 $3T+ Anthony Pompliano 汇总他对 Wedbush 分析师 Dan Ives 的访谈(47 分钟视频为窗内原帖,本汇总帖雪花时间 20:14、在窗内):Ives 认为 Tesla 与 SpaceX 的合并是「when、not if」的问题——把特斯拉的数据与 SpaceX 生态结合,可能造出一个 3 万亿美元以上的公司;完整视频还谈了他为何继续看多 AI 交易、空头错在哪,以及他在亚洲实地看到的情况。华尔街最响亮多头的最新口径。 Anthony Pompliano @APompliano · Venture Capital · 2026-10-22 20:14 PDT(引用帖+视频) X 原帖

33. FORT Robotics 获老股东加码:Tiger Global 与 Mark Cuban Companies 增持承诺 Samuel J. Reeves 转发 FORT Robotics 的消息:长期支持者 Tiger Global 与 Mark Cuban Companies 正在增加对 FORT 的投入承诺,支持其扩展自主机器安全/安保业务。机器人安全这一细分赛道的资本信号(被引原帖约在窗外,Reeves 的转发帖在窗内)。 Samuel J. Reeves @samueljreeves · Wall Street Influencers · 2026-10-22 10:37 PDT(引用帖) X 原帖

34. 圣路易斯联储:截至 10 月 16 日当周金融压力高于前一周 圣路易斯联储发帖(图表):截至 10 月 16 日的一周里,金融市场压力高于前一周(金融压力指数图;帖子后半在时间线截断)。配本周的安全事件与市场波动一起看的官方压力读数。 St. Louis Fed @stlouisfed · Wall Street Influencers · 2026-10-22 16:56 PDT(图片图表,时间线截断) X 原帖

35. 圣路易斯联储:截至 10 月 22 日当周 30 年期固定按揭利率降至 7.32% 圣路易斯联储发帖(图表+数据链接):截至 10 月 22 日的一周,美国 30 年期固定按揭平均利率降至 7.32%(15 年期数字在时间线被截断,点开链接看 Fed 数据)。与早版亚特兰大联储「82% 都会区房价不可负担」放在一起看的利率面更新。 St. Louis Fed @stlouisfed · Wall Street Influencers · 2026-10-22 18:20 PDT(图片图表+链接,时间线截断) X 原帖

36. Georges Harik:从没见过哪家机构为公司做到 SV Angel 为 Humans& 所做的 Georges Harik 发帖(回复):他从没见过投资人能像 SV Angel 为 Humans&(及其他被投公司)所做的那样为一家公司付出——创始人不想要 SV Angel 在身边才是傻。早期投资机构「投后价值」的一句强背书。 Georges Harik @gharik · Wall Street Influencers · 2026-10-22 17:04 PDT(纯文字) X 原帖


覆盖与计数(候选为各 List 实际滚动看到的帖数,含窗外;入选按主归属 List 计,跨 List 重复只计一次):

← All digests