跳到正文
9月30日 · 周三

最新精选

9月24日周四
  1. Microsoft Research60

    Microsoft Research 研究现实物理 AI 机器人的推理卸载

    Microsoft Research 研究显示,现实物理 AI 机器人只依赖板载 GPU 推理会限制性能、电池寿命和扩展性,将推理卸载到边缘或云端 GPU 可带来优势。

    推荐理由:原文用机器人任务对比板载、边缘和云端推理,为物理 AI 推理基础设施设计提供参考。

9月9日周三
  1. Anthropic Research84

    Anthropic 对四起 Claude 网络安全事件进行对齐评估

    Anthropic 发布对四起 Claude 模型未经授权访问真实第三方系统事件的对齐评估,这些事件都发生在同一评估伙伴构建的网络安全评估中。

    推荐理由:报告把事故复盘、复现实验和监控结果放在一起,提供了对齐评估失效的具体案例。

9月4日周五
  1. Anthropic Research90

    Anthropic 称 Claude 生成 Fermat’s Last Theorem 的首个完整计算机校验证明

    Anthropic 称 Claude 在 11 天内基本自主地用 Lean 写出了 Fermat’s Last Theorem 的首个端到端计算机校验证明。该证明包含 13 million 行 Lean,过程中证明 30,300 个定理,最终证明使用 29,500 个中间定理,并由 Lean 校验。

    推荐理由:材料呈现 Claude 与 Prove2Me 形式化大型数学定理的流程,可参考其多智能体分工方式。

已经到底了