微软研究院介绍通用零知识虚拟机 Magnetar
微软研究院介绍了通用零知识虚拟机 Magnetar，可在笔记本电脑上每秒证明 720 万至 870 万条 RISC-V 处理器指令，证明验证仅需约 12 毫秒。
推荐理由：该研究展示了仅依赖标准哈希函数实现通用零知识证明的可行性，大幅降低了证明开销与长期密码学迁移风险。
#Microsoft
Microsoft Research精选AI 评分7272
Microsoft ResearchAI 评分4747 微软研究院 StudentSim：模拟学生学习以改进 AI 辅导
微软研究院打造了 AI 研究系统 StudentSim，通过模拟个体学生的答题表现及对指导的反馈，在真实测试前评估并改进 AI 导师。该系统基于公开脱敏记录训练个性化模拟器，并推出涵盖国际象棋、二语英语写作与数学的评测基准 StudentSimEval，多项表现均优于主流基线。
Microsoft ResearchAI 评分4242 Microsoft Research 预测空间天气对电网的风险
Microsoft Research 构建了一套端到端机器学习流水线，能评估空间天气对美国本土 66,935 个变电站的具体风险，可在风险出现前 30 至 60 分钟向电网运营商预警。该系统结合太阳风观测、AE 与 Dst 指数预测及局部地质导电率等特征，在评测期内检测到了近 80% 的主要空间天气事件。