跳到正文
  1. NVIDIA Blog

    NVIDIA 将发布 RTX Spark,面向创作者、玩家与 AI Agent 的 Windows PC

    NVIDIA 宣布将于明天发布 RTX Spark,这是一款面向创作者、玩家和 AI 智能体的 Windows PC,并在全球多地举办发布庆祝活动。文中摘录了 Tom's Hardware、TrustedReviews 等媒体对本地 AI、游戏与创作负载表现的评测评价,并提到 Artificial Analysis 的独立测试提供了该笔记本本地 AI 性能的初步数据。

    推荐理由:NVIDIA 官方放出 RTX Spark 的发布活动信息与媒体评测摘录,可用于了解这款面向创作者的 Windows PC 的定位。

  2. Microsoft Research

    Microsoft Research 发布 Magnetar:基于标准哈希函数的通用零知识证明 zkVM

    Microsoft Research 发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序,并同时改善证明效率、通用性与安全性三项难题。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,Magnetar 用标准哈希函数实现通用程序证明,速度较同类 zkVM 提升 10 至 39 倍。

  1. GitHub Blog · AI & ML

    GitHub 将 ModernBERT 分类器引入推送保护,拦截非结构化密钥

    GitHub 宣布用与 Microsoft Applied Sciences 共建的 ModernBERT 微调分类器扩展推送保护,可识别数据库密码等非结构化密钥,候选批量评估耗时不到 2 毫秒。

    推荐理由:GitHub 用九个季度的数据说明泄露风险随代码量上升,并给出把密钥拦截从事后补救前移到推送环节的思路。

  2. Microsoft Research

    Microsoft Research Asia 开源 Agent Lightning v1.0,约 3500 行代码的轻量智能体 RL 框架

    Microsoft Research Asia 开源 Agent Lightning v1.0,这是一个约 3500 行的轻量智能体强化学习框架,提出 Harnessed Agentic RL 训练范式,让部署时使用的 harness 直接参与 RL 训练,无需在训练框架内重写智能体。

    推荐理由:微软开源约 3500 行的智能体 RL 框架,让部署用的 harness 直接参与训练,并给出完整代码智能体训练示例。

已经到底了