跳到正文
11月13日周五
11月12日周四
  1. Simon Willison56

    AWS 发布官方服务本地模拟器 aws-emulator

    AWS 发布官方模拟器 aws-emulator,可在本地克隆其多种服务上运行测试,无需申请付费 API key。该项目用 Rust 编写,由大量智能体协作开发,前三周就有 29,684 次 commit;目前在 macOS 或 Windows 上运行需要 Docker,作者希望未来能提供单一二进制文件,方便在其他语言和平台的标准测试套件中使用。

11月11日周三
  1. Latent Space52

    Mercor 以20B估值完成750M Series D,年化收入达3B

    Mercor 完成 750M Series D 融资,估值 20B,年化收入达 3B run rate,据称在 27 个月内完成这一爬坡。该公司报告拥有 5 million experts,并引用其 TAM 表述称仅美国就有 800 多种职业的工作流尚未被模型评估。文中还引用其说法称公司在 inference 上的支出已是员工薪酬的 3 倍,且因团队变强而回本。

11月10日周二
  1. Hugging Face Blog62

    Hugging Face 推出 Decision Models 决策模型接口与生态支持

    Hugging Face 介绍决策模型(decision model)概念及其在生态中的落地:模型接收 state 与 questions,直接返回带概率的结构化决策而不生成文本,接口包含 choice、score、noul 三种原语,并给出 confidence 计算方式。

    推荐理由:原文梳理了决策模型的接口设计与三种原语,并说明 Transformers 和 llama.cpp 如何通过同一 API 提供服务。

  2. Google DeepMind76

    Google DeepMind 发布 AlphaProof Code,用 AI 代理形式化验证 Signal 协议代码

    Google DeepMind 发布 AlphaProof Code,一个多 LLM 智能体形式化验证框架,用它对 Signal 协议的实际代码给出了关键安全性质的数学证明,称这是首次用 AI 在这一深度形式化验证广泛部署的密码协议,也是任何方法首次验证此类协议的实现。

    推荐理由:原文说明了形式化验证从设计层下沉到编译代码层的做法与四周耗时,读者可据此评估 AI 代理在真实密码协议上的验证能力边界。

11月9日周一
  1. NVIDIA Blog44

    NVIDIA 与韩国扩大主权 AI 合作,覆盖芯片到技能全栈

    NVIDIA 与韩国科学技术信息通信部(MSIT)扩大主权 AI 合作,覆盖 AI 芯片、数据中心基础设施、人才、初创企业、模型、智能体与安全。合作为韩国 NPU 和 XPU 厂商参与 NVIDIA NVLink Fusion 生态铺路,并通过 AI for All 计划与 3 个联合体及 4 家韩国基础模型厂商合作,用 NVIDIA Dynamo 优化扩展 AI 推理。

11月7日周六
11月6日周五
  1. Latent Space78

    Thinking Machines 发布 Inkling 2 Small:594B 总参数多模态 MoE,68 小时完成预训练

    Thinking Machines 发布 Inkling 2 Small,一个 594B 总参数 / 17B 激活参数的多模态 MoE 模型,支持文本与图像输入、文本输出,具备原生视觉能力,上下文窗口和最大输出均为 1M tokens,现已在 Tinker 和 Tinker Playground 上开放微调与推理,Apache 2.0 权重将在外部安全测试完成后于下周发布。

    推荐理由:原文汇总了训练成本、独立评测与安全披露,读者可据此判断这款开源权重模型的真实定位与短板。