跳到正文
今天10月29日周四4 条
  1. TechCrunch · AI58

    微软连续 10 个季度营收创纪录,季度营收达 923 亿美元

    微软公布季度营收 923 亿美元,同比增长 19%,连续 10 个季度创下营收纪录,净利润 366 亿美元,同比增长 32%。微软云营收 639 亿美元、同比增长 30%,其中 Azure 贡献 332 亿美元,来自 OpenAI 的收入为 100 亿美元;设备与消费者业务营收 155 亿美元、同比下降 3%,Windows OEM 与设备收入下降 22%。

  2. The Verge · AI22

    微软今年将停止在智能电视上支持 Copilot

    微软已决定今年内停止在所有电视上提供 Copilot 功能,LG 电视弹窗通知称该功能"不再可用并可能很快停止运行",具体日期取决于微软时间表。LG 与三星曾在 CES 2025 宣布新款智能电视接入 Copilot,此次变动并非来自三方官方公告。此前微软已将 Copilot 整合为包含聊天、智能体与编程的"超级应用",转向商业与生产力定位。

10月28日周三
10月27日周二
  1. MIT Technology Review · AI22

    工业智能:制造业的下一个增长机会

    制造业的工业智能由员工经验、运营数据与业务理解构成,关键在于把分散的知识送到每个决策点并与物理生产连接。Toyota Industries 打通原本割裂的涂装车间数据后,分析周期从五天缩短到四小时以内,试点将相关涂装缺陷减少约 25%。Rockwell Automation 新加坡工厂用维护 copilot 整合制造数据、设备手册与老员工经验,新员工掌握数百台设备故障排查的时间从九个月降至三个月。

10月23日周五
10月22日周四
  1. Microsoft Research71

    微软研究院等证明31年悬而未决的KLS猜想

    微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,证明该猜想中的界与维度无关,是一个固定常数。

    推荐理由:这篇论文证明了一个悬置31年的高维几何猜想,并展示了研究者如何通过人工筛选引导AI智能体探索上百条路径。

10月21日周三
  1. Microsoft Research15

    微软研究院播客:Catalyst Lab 负责人 Chris White 谈从 DARPA 到打击人口贩运的技术之路

    微软研究院播客对话 Catalyst Lab 负责人 Chris White,回顾其 2010 年夏天在 DARPA 参与阿富汗战争数据分析项目、随后赴阿富汗领导先进技术运营的经历。White 后来转向暗网搜索工具研发,用于协助打击人口贩运,并因此获得 2016 年美国总统打击人口贩运杰出贡献奖。节目还讨论了问题选择在创新中的作用,以及见证人性阴暗面后如何保持希望。

10月20日周二
  1. GitHub Blog · AI & ML36

    如何在 VS Code 中继续 GitHub Copilot 应用会话

    GitHub Copilot 应用中的会话可直接在 VS Code 中打开并继续,保留原有对话、代码改动和工作上下文。VS Code 会加载该会话关联的 worktree,并在 Copilot 侧边栏显示原会话,便于逐行审查 diff、手动修改、本地运行测试,最后提交并推送到会话对应的 pull request。

10月16日周五
  1. Microsoft Research62

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

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

    推荐理由:微软研究院把十余年零知识证明研究整合为 Magnetar,读者可了解通用程序证明在速度与密码学假设上的取舍。

10月14日周三
10月13日周二
  1. Microsoft Research47

    微软研究用 StudentSim 模拟学生学习,提升 AI 辅导效果

    微软研究院提出 StudentSim,用公开的去标识化学习记录为每位学生训练个性化 AI 学生模拟器,在真实学习者测试前评估和改进 AI 辅导系统。该工作同时推出覆盖国际象棋、英语二语写作和数学的 StudentSimEval 基准,从行为保真度和指导响应性两个维度评估模拟器,结果显示 StudentSim 在上述领域优于领先基线,可为训练 AI 辅导系统提供反馈信号。

10月8日周四
  1. Microsoft Research75

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

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

    推荐理由:微软研究院开源约 3500 行的智能体强化学习框架,让部署时的 harness 直接参与训练,并给出可复现的编码智能体训练结果。

10月7日周三
  1. Microsoft Research31

    微软研究院播客:AI 会犯哪些错,失败又能教我们什么

    微软研究院播客中,partner research manager Jennifer Neville 与首席应用科学家 Chad Atalla 对谈,讨论评估如何推动 AI 系统突破传统 benchmark 的性能边界,以及模型在超出常规测试时出现的“意外失败”。Neville 还分享使用当前 AI 系统的实用建议,并强调结果偏离预期时细查数据的重要性。

10月5日周一
10月1日周四
  1. Microsoft Research45

    微软研究院用机器学习预测电网空间天气风险

    微软研究院开发了一套端到端机器学习流水线,可为美国本土 66,935 座变电站生成位置特定的空间天气风险估计,并提前 30 至 60 分钟预警。系统结合太阳风观测、AE 与 Dst 指数预报、地质电导率及电网数据,评估期内对重大事件检出率约 80%,其中 ≥10 nT/min 事件检出率 76.5%。

9月26日周六
  1. GitHub Blog · AI & ML50

    GitHub Copilot 应用入门:如何用 canvases 构建自定义工作流

    GitHub Copilot 应用中的 canvases 是可自定义的双向界面,用户只需在 agent 会话中输入 /create-canvas 并用自然语言描述工作流,agent 即可生成看板、发布清单或仪表盘等界面。用户与 agent 可同时操作同一画布,点击按钮或移动卡片会即时同步,无需额外发送或同步步骤。画布可保存为扩展供团队共享或个人复用,Awesome Copilot 已提供现成扩展。