Microsoft Research 团队证明 KLS 猜想
微软研究员 Xinzhi Zhang 与 Zhao Song 合作证明了高维几何与概率领域的核心难题 Kannan-Lovász-Simonovits (KLS) 猜想。
推荐理由：该研究用人类引导的AI辅助过程证明了KLS猜想，展示了智能体协作在纯数学证明中的可用性。
#Microsoft
Microsoft Research精选AI 评分8686
Microsoft Research精选AI 评分6767 Microsoft Research 发布 Magnetar 通用零知识虚拟机的通用计算版本
Microsoft Research 发布 Magnetar，一种基于 RISC-V 的通用零知识虚拟机（zkVM），可证明用 Rust、Go 或 C 编写的程序执行。
推荐理由：把零知识证明与标准哈希函数对齐并在普通代码上跑通，给出可迁移的zkVM工程实践。
Microsoft ResearchAI 评分3434 Microsoft Research 发布 StudentSim，用个性化 AI 学生模拟器辅助辅导系统研发
Microsoft Research 发布 StudentSim，通过训练个性化 AI 学生模拟器来辅助 AI 辅导系统的研发与评估。该系统基于公开的去标识化学习记录，在象棋、英语写作和数学任务上能有效模拟学生行为及接受指导后的变化，为模型迭代提供早期研究信号。
Microsoft Research精选AI 评分7676 微软亚洲研究院发布 Agent Lightning v1.0 轻量智能体 RL 训练框架
微软亚洲研究院开源 Agent Lightning v1.0，是一套约 3500 行代码的轻量 Agentic RL 框架。它通过 Harnessed Agentic RL 范式让部署用的智能体 harness 直接参与训练，并在 Agent 与模型之间加入 LLM 代理来观察和记录调用。
推荐理由：原文给出了轻量架构和真实 harness 接入方式，读者可以据此复用该框架训练自己的代码智能体。