跳到正文

全部动态

今日 1 条
9月18日周五
  1. Trail of Bits:AI安全研究68

    Trail of Bits 用 Agent 为 Miden zkVM 审计自建 LSP、反编译器和 Lean 形式化证明

    Trail of Bits 在审计 Miden zkVM 前,让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。这些工具发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞,静态分析定位了 400 多处类型验证缺陷,Lean 工作产出 95 个机器验证的正确性证明,还发现两个单元测试未捕获的细微 bug。

    推荐理由:原文给出用 Agent 在审计前自建工具链与形式化证明的完整路径,含真实高危发现,方法可迁移到其他安全审计场景。

  2. Databricks:Blog(RSS)44

    数据库分支:Git 式工作流的开发者指南

    数据库分支通过 copy-on-write 从共享数据库状态创建隔离环境,只存储与父库产生差异的数据,无需完整复制。以 40 GB 数据库为例,开发分支改动 1.6 MB、PR 分支改动 4 MB 时,两个分支仅额外占用约 5.6 MB 存储。该机制支持类生产环境测试与每个 PR 独立 CI 隔离,对运行大量短生命周期分支的 AI 智能体尤为重要。

  3. 公众号:火山引擎40

    小鹏集团×火山引擎:5000个智能体落地,让Agent驶进造车一线

    小鹏集团与火山引擎合作,以 HiAgent 为底座建设 AI 中台,平台已有2000名活跃用户、累计产生5000个智能体,50个数字员工场景正在逐步落地。供应链风险智管平台定义78个风险因子,覆盖800多家供应商,新车型产能风险排查从2天缩至10分钟;Vision-X 平台约90%的AI视频生成由 Seedance 完成。

  4. Preferred Networks:AI 研究与产品35

    PFN与PFCI将向Matlantis提供MN-Core 2计算资源

    PFN与PFCI宣布计划年内向材料探索模拟器Matlantis提供自研AI半导体MN-Core 2的计算资源,通过PFCP云服务交付。在结晶结构等模拟中,MN-Core 2相比GPU最高可提速约4倍且保持同等精度,Matlantis全用户无需改动现有环境即可使用。Matlantis已服务全球150多家企业及学术机构。

  5. 公众号:智谱(GLM)62

    智谱上线 GLM-5.3-FlashX,推理速度最高 200 tokens/s

    智谱正式推出 GLM-5.3-FlashX,在 GLM-5.3-Flash 基础上加大对 Infra 侧投入与推理优化,速度最高 200 tokens/s,算力基于 10 万张国产芯片。该模型此前曾以 Ox Alpha 之名面向开发者,官方称其长期保持同尺寸最强智能水平并具备高性价比,API 已上线,Model Key:GLM-5.3-FlashX。

  6. Factory 研究 / 产品(RSS)40

    Factory 推出 Factory Private 灵活部署选项

    Factory 发布新部署选项 Factory Private,可在客户自有 VPC、本地环境或气隙网络中运行,Droids 与敏感数据均留在客户侧。Factory 由此形成 Factory Managed、Factory Private、Factory FedRAMP 三种部署模式,其中 FedRAMP 授权仍在进行中。

  7. Databricks:Blog(RSS)21

    Databricks 谈资本市场如何用受治理数据与 AI 现代化交易生命周期

    Databricks 资本市场 GTM 全球负责人 Andrea DeSosa 指出,交易生命周期现代化的关键不是孤立模型,而是把订单、成交、持仓、研究、风险与客户等专有数据在受治理前提下打通。她建议从执行质量、敞口分析和结算异常等高价值决策入手,并提到欧洲 T+1 结算定于 2027 年 10 月 11 日,使准备工作成为近期优先事项。

  8. Databricks:Blog(RSS)27

    面向 AI 智能体的数据库:5 项评估标准

    评估 AI 智能体数据库的 5 项标准包括分支隔离(branch isolation)与 serverless 等。该评估框架用于判断数据库是否适合承载 AI 智能体工作负载。

  9. OpenAI:官网动态(RSS · 排除企业/客户案例)34

    Cooley 如何用 ChatGPT Work 加速 IPO 业务

    国际律所 Cooley 基于 ChatGPT Work 打造自研 AI 产品 GO Public,用智能体框架分析 IPO 所需的海量信息,让律师把精力集中在需要判断力的环节。Cooley 在 2025 年参与 180 笔交易,交易总额超 515 亿美元。该产品让团队从客户自身信息出发,结合公开来源与精选先例,更快形成定制化的 IPO 起点。

  10. Claude Code:GitHub Releases(RSS)42

    Claude Code v2.1.275 发布

    Claude Code v2.1.275 新增登录账号显示与发送快捷键(ctrl+enter 或 ctrl+x ctrl+s),可中断当前回合并一次性发送全部排队消息。

  11. Gary Marcus:The Road to AI We Can Trust(RSS)32

    Gary Marcus:AI 责任与监管并非二选一,科技自由派右翼的“新伪二分法”站不住脚

    Gary Marcus 反驳科技自由派右翼将“AI 责任”当作反对监管的理由,主张责任与监管必须并行。他引用 Mark Cuban 与 Karen Kornbluh 的观点指出,若没有适配 AI 的监管,责任追究毫无意义。他回顾 2023 年 5 月在美国参议院与参议员 Josh Hawley 的交锋,当时他即反对仅靠诉讼,认为现行法律在版权、大规模虚假信息等领域存在空白,诉讼可能耗时十年以上。

  12. Anthropic:The Institute(旗舰研究长文 · 网页)73

    Anthropic 发布前沿 AI 开发节奏测量工具与内部指标快照

    Anthropic 发布一套测量前沿 AI 开发节奏的指标,覆盖 AI 主导研发、智能体监督和算力分配三方面。

    推荐理由:Anthropic 公开测量自身 AI 研发自动化程度、智能体监督和算力分配的方法与数据,读者可以看到前沿实验室透明度报告的一种可复用范式。