微软Magnetar支持为Rust、Go和C程序生成执行证明
微软研究院介绍了Magnetar：它能为Rust、Go或C编写的程序生成执行证明，让接收结果的人不必重新运行程序，也能核验程序是否按所声明的方式执行。据微软研究院披露，Magnetar的运行速度平均为此前最快可比系统的10至39倍，其安全性仅依赖标准哈希函数。 这项工作的核心是零知识证明。程序运行后，除输出结果外，还提供一份简短的密码学证明，证明该程序在给定输入上产生了相应输出。
微软
收录 31 篇关于“微软”的文章，最近更新于 2026-11-10。
微软研究介绍StudentSim，模拟学生反馈评估AI导师
微软研究在10月12日发布的文章中介绍了StudentSim：一个模拟学生如何答题、以及接受指导后如何改变答案的研究系统。它用于在真实学习者测试之前评估和改进AI导师，目前不是产品，也未部署到课堂。 这项研究关注的不只是AI导师的答案质量，而是指导到达学生之后发生了什么：学生是否纠正原来的错误，提示是否帮助其推理，或是否透露了过多答案。
微软推出专用决策模型，已向开发者开放
据华尔街见闻报道，微软首席执行官Satya Nadella周五宣布推出Microsoft-Decision-1。这是一款专为结构化决策任务设计的AI模型，目前已通过微软旗下AI开发平台Microsoft Foundry向开发者开放，OpenRouter的接入支持仍在计划之中。 它的核心任务不是生成文本，而是从预设选项中选取最优解，并为各备选答案赋予概率评分。
微软推出Scout代理与Surface旗舰新机
据华尔街见闻报道，微软在旧金山发布搭载英伟达芯片的旗舰笔记本Surface Laptop Ultra，并在同期举行的Build开发者大会上宣布推出AI代理产品Microsoft Scout。两项发布分别涉及本地AI计算硬件和个人代理服务。 Scout被微软定位为“始终在线的个人代理”，属于新设立的“自动驾驶仪（Autopilots）”代理类别，可在无需每次提示的情况下自主执行任务。
Agent Lightning v1.0支持原框架训练
微软研究院10月7日介绍，微软亚洲研究院已开源重构后的Agent Lightning v1.0。它采用名为Harnessed Agentic RL的训练范式，让部署时使用的智能体运行框架直接参与强化学习，不必在训练框架内部重新实现一套智能体。 这项变化针对的是AI智能体训练与部署之间的差异。
Office紧急更新后续：用户反馈退出变慢、更新报错
Office紧急更新KB5002907的异常反馈，从授权失效延伸到了应用退出和后续更新安装。IT之家10月7日援引科技媒体BornCity于10月6日发布的博文称，有用户在安装该更新后，遇到Word、Excel退出变慢，以及更新无法正常安装的问题。 据IT之家此前报道，KB5002907属于带外紧急更新，主要帮助超过90天未接收更新的系统重新获得升级能力。
微软确认KB5124010导致部分应用音频解码崩溃
据IT之家10月4日报道，微软已确认，2026年9月可选更新KB5124010会导致部分依赖系统内置AC-3（杜比数字）音频解码的应用和游戏崩溃。报道援引Windows Report称，问题涉及Windows 11 24H2、25H2和26H2，并非只出现在26H2。
9月全球AI债券发行降至230亿美元，大摩预计四季度回升
据华尔街见闻10月3日报道，9月全球AI相关债券发行约230亿美元，为今年次低月份，其中美国投资级市场AI相关债券发行为零。摩根士丹利在最新报告中将这轮放缓判断为“暂停而非退潮”，预计四季度发行将回升，但不会重现上半年的爆发式增长。 单月降温并未改变今年累计发行规模已超过去年全年的事实。截至9月底，全球AI相关债券发行总额达到4660亿美元，是去年全年2160亿美元的两倍以上。
微软发布三款语音AI模型，流式转录支持60种语言
据华尔街见闻报道，美东时间10月1日，微软发布三款语音AI模型：实时语音转文字模型MAI-Transcribe-2-Streaming，以及文本转语音模型MAI-Voice-2.1和延迟更低的MAI-Voice-2.1-Flash。其中，MAI-Voice-2.1覆盖23种语言。 这次实时转录的变化在于，模型不必等用户说完一句话才输出文字。
微软推出实时流式转写模型，支持60种语言
据IT之家10月2日报道，微软于10月1日宣布推出其首个实时流式语音转写模型 MAI-Transcribe-2-Streaming。它可以在讲话进行时持续输出文字，而不是等整段音频处理完成后再一次性返回结果，适用于实时对话和字幕场景。 模型支持60种语言，并具备自动、连续的语言检测能力。用户无需在会话开始前手动指定语言，系统能够根据语音内容识别语言变化。
