跳到正文
#Anthropic
  1. Latent Space78

    AI 为何越来越擅长数学：从提示序列与分支因子看模型解题方式

    作者梳理 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果，提出用提示序列长度 k 和分支因子 b 解释模型为何擅长数学。模型以深度优先方式并行尝试大量路径，配合自动验证器剪枝，把失败尝试当作负向提示写回下一轮。作者认为人类仍擅长压缩分支，在 k 和 b 都很大的问题上直觉依然关键。

    推荐理由：文章用提示序列长度和分支因子解释模型为何擅长数学证明，并指出人类直觉仍占优的问题类型。

  2. The Decoder82

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

    Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把 OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，并分析编译后的机器码，几周内生成约 1.8 亿行证明代码，由 Rocq 独立校验。

    推荐理由：Anthropic 用 Claude 为 OSS-Fuzz 库生成形式化证明，并说明了适用条件与算力成本。

  3. Latent Space78

    AINews 汇总 Black October：AI 加速漏洞披露令防守方承压

    Latent Space 的 AINews 汇总了 10 月 21 日至 22 日被称为 Black October 的一轮集中安全事件，约 48 小时内出现多起关键漏洞披露与入侵，涉及 PHP、GitLab、Node.js、NGINX、LiteLLM、Railway、Zeabur 以及 CA 机构 eMudhra。

    推荐理由：材料把 48 小时内集中出现的漏洞披露、供应链攻击和银行账户内智能体事件放在一起，读者可据此理解这轮安全压力的规模与来源。

已经到底了