跳到正文
#Microsoft
  1. TechCrunch · AI89

    Anthropic 设定 IPO 发行价区间 70 至 78 美元，隐含估值达 1.404 万亿美元

    Anthropic 在更新后的 IPO 文件中称，将发行 8.25 亿股 A 类股，发行价区间为每股 70 至 78 美元，预计募资 577.5 亿至 643.5 亿美元；若按区间上限定价，完全稀释后估值将达 1.404 万亿美元。

    推荐理由：更新后的招股书给出定价区间、募资规模和估值上限，也披露了营收与亏损数据。

  1. Microsoft Research60

    微软研究院发布 Flint-interactive，让智能体生成可交互数据可视化

    微软研究院发布 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让智能体生成可点击、筛选、缩放和跨图表联动的图表。它把点击、拖拽等原始触发解析为语义事件，用户只需用高层算子描述更新行为，布局与渲染依赖交由 Flint 编译器处理。用户可通过 Flint-MCP 和 MCP Apps 在对话中直接使用，开发者可用编程 API 构建仪表盘和数据故事。

    推荐理由：微软研究院把交互逻辑交给编译器处理，让智能体用高层语义事件生成可点击、可联动的图表，减少反复调试。

  1. Microsoft Research74

    微软研究院等证明 31 年未解的 KLS 猜想

    微软研究院研究员 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出与维度无关的固定界，解决了高维几何与概率论的核心开放问题。证明过程采用人类引导的智能体搜索，探索了 100 多条候选路径，由研究者筛选和调整方向；同期另有独立团队给出完整证明，并出现 Lean 4 形式化验证。作者称此前用多个前沿模型做无引导的端到端尝试未能成功。

    推荐理由：微软研究员与合著者借助人类引导的智能体搜索证明 KLS 猜想，展示了人机协作做数学研究的具体流程。

  1. Microsoft Research60

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

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

    推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何同时解决效率、通用性与后量子安全三个难题。

  1. GitHub Blog · AI & ML62

    GitHub 发布 AI 代码审查开放基准 ReviewBench

    GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布构建 219 个公开 PR 语料，覆盖 19 种语言。

    推荐理由：GitHub 公开了基准的构建方法、评分规则和人工一致性数据，读者可据此判断 AI 代码审查评测的可信度。

已经到底了