跳到正文
  1. NVIDIA Blog72

    NVIDIA 发布 RTX Spark 笔记本,面向创作者、玩家与 AI 智能体

    NVIDIA 发布 RTX Spark,定位为面向创作者、游戏玩家和 AI 智能体的 Windows PC,并将在旧金山、柏林、台北、北京、伊斯坦布尔、首尔等地举办发布体验活动。

    推荐理由:原文汇总了多家媒体对 RTX Spark 本地 AI 与游戏表现的早期评价,并给出全球线下体验活动的时间地点。

  2. Microsoft Research66

    微软研究院推出基于证明的通用计算系统 Magnetar

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并返回可在约 12 毫秒内验证的简短证明。在 15 个基准程序上,它比同机最快的现有 zkVM 平均快 10 到 39 倍,在笔记本上每秒可证明 720 万至 870 万条 RISC-V 指令。其安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,不需要椭圆曲线、格假设或可信设置。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在通用性、速度与标准哈希安全之间同时取得进展。

  1. Microsoft Research76

    微软研究院开源 Agent Lightning v1.0:约 3500 行代码的轻量智能体 RL 框架

    微软研究院开源 Agent Lightning v1.0,一个约 3500 行代码的轻量智能体强化学习框架,提出 Harnessed Agentic RL 范式,让部署时使用的 agent harness 直接参与训练,无需在训练框架内重新实现智能体。

    推荐理由:微软研究院开源轻量智能体 RL 框架,给出真实 harness 训练路径与 SWE-bench 提升数据,可供工程团队参考复现。

  1. Microsoft Research71

    微软研究院推出面向生物学复杂性的 AI 研究系统 Quine

    微软研究院推出 AI 研究系统 Quine,由跨基因组、蛋白质、化学、RNA 与细胞状态、生物成像的多模态生物世界模型和一个连接模型、科学工具、文献与研究者的交互框架组成。

    推荐理由:微软研究院公开 Quine 的多模态生物世界模型与实验闭环设计,并给出胰腺癌细胞状态预测的湿实验验证结果。

已经到底了