跳到正文
10月24日周六
10月23日周五
  1. The Decoder78

    Anthropic 用 Claude 自动为现有代码生成形式化安全证明

    Anthropic 的 Frontier Red Team 与 Theorem 合作,让 Claude 对 Google OSS-Fuzz 项目中 123 个开源库的测试程序做形式化验证,几周内产出约 1.8 亿行数学证明代码,由 Rocq 独立校验,据称几乎不需要人工复核。

    推荐理由:材料给出了 Claude 自动生成形式化证明的规模、发现的真实缺陷和适用边界,读者可据此判断 AI 验证代码的可行范围。

  2. The Decoder62

    Canva 发布首款自研图像模型 Craft

    Canva 发布首款自研图像生成模型 Canva Craft,由其内部实验室 Canva Research 从零训练,主要使用数百万份设计模板而非照片。Craft 先生成构图、比例和文字,再输出最高 2K 分辨率、覆盖 30 多种宽高比的图像,支持 55 种语言的文字渲染,并可通过 Magic Layers 拆分为可编辑图层。

  3. The Verge · AI55

    AI 工具涌入复古游戏反编译移植,社区站点因滥用关停

    The Verge 报道称,AI 编码工具让复古游戏的反编译与重编译移植速度大幅提升,近几个月在 Reddit、X 和 GitHub 上涌现大量项目。一个追踪反编译项目的社区网站上周突然关停,站主 Encounter 称 AI 虽能显著加快反编译,但社区协作已被破坏,有人用 AI 给他人项目“收尾”或抢做自己未参与的移植。

  4. The Decoder78

    OpenAI 下调估值目标,拟融资至多 300 亿美元

    OpenAI 正接近完成一轮至多 300 亿美元的融资,但为此下调了估值目标。据《金融时报》获得的内部文件,公司最初向投资者报出的估值为 1.4 万亿美元,后降至 1.25 万亿美元;CNBC 称本轮由阿联酋投资者和投资机构 Coatue 领投,需求弱于此前几轮。这笔资金被定位为潜在 IPO 之前的过渡融资,OpenAI 还在就通过阿联酋获取额外算力进行商业谈判。

    推荐理由:融资规模与估值下调同时出现,读者可据此观察一级市场对头部 AI 公司的定价变化。

  5. TechCrunch · AI58

    MIT 研究:13 个 Eko 智能体在虚拟荒岛无目标探索 30 小时

    MIT 研究者在 arXiv 发布论文,将 13 个基于 Claude Opus 4.7 的 Eko 智能体放在模拟荒岛上无任务探索 30 小时,智能体自行发明挑战并表现出类似玩耍的行为。之后在把物体堆上最高岩柱等指定挑战中,这些探索过的智能体普遍胜过从未上岛的相同智能体。研究还发现 6 个智能体自行学会了跳跃中松手把方块扔得更远,这是研究者未预设的能力。

  6. Hugging Face Blog62

    微软与 Hugging Face 将数据库校验转为 RL 奖励,用 ThinkingBox 后训练智能体

    微软与 Hugging Face 联合发布 ThinkingBox-Training,把 ThinkingBox 对数据库终态的校验结果直接当作强化学习奖励,用于智能体后训练。

    推荐理由:微软与 Hugging Face 把数据库终态校验当作 RL 奖励,并公开了任务筛选与训练代码,可供做智能体后训练时参考。

  7. MIT Technology Review · AI22

    EXL 谈如何设计可持续演进的 AI 服务框架

    EXL 提出企业 AI 的竞争优势正从选模型转向围绕模型构建的服务框架(serving harness),即架构、内存管理、调度与推理优化的工程系统。其主张先按业务负载确定约束再定架构,并以 KV cache 随并发与上下文增长导致的 GPU 显存瓶颈为例,强调先测量再优化。框架还应便于吸收新模型与新硬件,使换模型成为评估与配置决策而非架构重建。

  8. TechCrunch · AI74

    OpenAI 据称以 1.25 万亿美元估值推进 300 亿美元融资

    OpenAI 据报正推进最高 300 亿美元的新一轮私募融资,投前估值为 1.25 万亿美元,由 Coatue 和来自阿联酋的投资者领投。CNBC 称条款仍在谈判中,阿联酋方面的资金还可能附带为 OpenAI 争取更多算力容量的协议。这轮融资发生在 OpenAI 6 月提交 IPO 保密文件之后,其 3 月上一轮融资的投后估值为 8520 亿美元。

  9. The Verge · AI40

    Meta 修复 Muse 分享链接泄露问题并重新开启分享

    Meta 在安全研究人员指出 Muse 共享对话的公开链接易被找到后,已修复问题并重新开启分享功能。研究人员曾通过公开 DNS 找到营销公司内部营收评估、小企业主贷款申请等 Muse 页面。Meta 的 David Singleton 称问题出在共享 artifact 的 URL 而非聊天分享,修复前分享的 artifact 已换新链接,旧链接会提示向分享者索取新地址。

  10. The Verge · AI48

    Meta 调整商业条款后仍可抓取新闻网站训练 AI,法律专家称不够

    Meta 修改商业账户条款、删除"训练"表述后,法律专家仍认为其保留的"开发任何商业产品"措辞足以涵盖训练,无法阻止其抓取整站内容。新条款 10 月 30 日生效,原文本允许 Meta 使用商业账户关联网站的"任何内容"开发和研究产品。Meta 发言人 Daniel Roberts 称内容所有者可用 robots.txt 表达偏好,此次更新不涉及抓取新闻网站。

  11. The Verge · AI60

    SpaceX 与 Tesla 成立特别委员会讨论合并

    SpaceX 与 Tesla 已成立特别委员会讨论合并事宜,Musk 在 SpaceX 财报电话会上称两家公司在开发超级智能软件上合作有很大价值。SpaceX 第三季度 AI 业务收入达 75.6 亿美元,其中 Cursor 贡献 6.08 亿美元,其余多来自向 Anthropic 和 Google 出租算力。

  12. Simon Willison3

    Simon Willison 分享音乐视频《DE STAAT - FREEDOM》

    Simon Willison 于 2026 年 10 月 22 日发布链接帖,分享音乐视频《DE STAAT - FREEDOM (Official Music Video)》,帖子归类为 music 标签。该帖同时带有 ai、generative-ai 等标签,正文未提供更多技术细节。

  13. TechCrunch · AI58

    1Password 推出 1Password for Agents,让 AI 智能体代为登录而不接触密码

    1Password 周四推出 1Password for Agents,用户可授权 AI 智能体代为登录个人账户,智能体全程不接触用户凭据。该平台在智能体、用户与密码管理器之间建立通信:智能体发起登录时先向 1Password 发送唯一数字密钥确认身份,用户收到提醒并亲自确认后,由 1Password 代为填入凭据完成登录。

  14. MIT Technology Review · AI12

    Vanguard 的 Jing Wang 谈可扩展 AI 的基础

    Vanguard 的 Jing Wang 在 MIT Technology Review 的 EmTech Future 会议上探讨如何构建可扩展 AI 的基础,认为数据、工程、平台、运营模式与治理必须协同运作。她指出在高度监管的环境中,负责任的实现方式能将包括智能体系统在内的新兴能力转化为对投资者的长期价值。

  15. The Decoder71

    摩根士丹利、摩根大通等美国大行封堵用客户凭证登录的 AI 智能体

    摩根士丹利、摩根大通、美国银行、富国银行等多家美国大行正在限制外部 AI 智能体访问客户账户,原因是智能体使用客户提供的凭证登录违反了银行要求本人登录的政策。摩根士丹利已完全封堵 AI 智能体,摩根大通、美国银行和花旗也在采取同样做法;多数银行希望把智能体限制为只读访问,并称客户有使用需求但当前安全风险过高。