跳到正文
#Microsoft
  1. Rohan Paul (X)85

    WSJ 看到 Anthropic IPO 草案：半年收入 163 亿美元、账面亏损 807 亿美元

    WSJ 看到的 Anthropic IPO 草案显示，其半年收入 163 亿美元、账面亏损 807 亿美元，并承诺约 4500 亿美元用于算力。草案披露上半年算力与基础设施支出近 90 亿美元，超过 2025 年全年 73 亿美元，新草案中该账单规模升至约 7500 亿美元。

    推荐理由：WSJ 看到的 Anthropic IPO 草案披露了收入、账面亏损与云和芯片长约，可据此理解其算力成本结构。

  1. NVIDIA Blog60

    NVIDIA 发布 RTX Spark 笔记本并公布本地 AI 性能测试

    NVIDIA 发布面向创作者、游戏玩家和 AI 智能体的 Windows PC 产品 RTX Spark，并在全球多地举办发布活动。

    推荐理由：原文给出 RTX Spark 的本地 AI 实测完成时间对比，可据此判断笔记本端侧推理的可用性。

  2. Microsoft Research60

    微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，并输出可在约 12 毫秒内验证的简短证明。在 15 个基准程序上，它比同类最快的 zkVM 平均快 10 到 39 倍，在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。

    推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在通用性、速度与密码学假设之间同时取得进展。

  1. Microsoft Research66

    微软研究院开源 Agent Lightning v1.0：约 3500 行的轻量 Agentic RL 框架

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

    推荐理由：微软研究院开源约 3500 行的 Agent RL 框架，用真实 harness 参与训练，并给出 6000 样本提升 14.6 个点的完整流程。

  1. Microsoft Research62

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

    微软研究院推出 Quine，一个由跨模态生物学世界模型和连接模型、科学工具、文献与研究者的交互框架组成的 AI 研究系统。该系统与 Broad Institute 合作用于胰腺导管腺癌研究，从数千个化合物中筛选并优先排序候选分子，湿实验显示排名最高的化合物产生了最大的经典态到基底态细胞状态转变，整个筛选到候选验证过程仅用一个周末。

    推荐理由：微软研究院公开 Quine 的生物学世界模型与实验编排框架，并给出胰腺癌化合物筛选的湿实验验证结果。

已经到底了