跳到正文
只看一手#Microsoft
10月23日周五
  1. Microsoft Research58

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

    微软研究院发布 Flint-interactive，一种在 Flint 之上创建交互式数据可视化的语言，让智能体生成支持点击、筛选、缩放、高亮和跨图表联动的图表。它通过 Flint 编译器把原始点击拖拽解析为语义事件，用户只需用高层操作符描述交互逻辑，无需编写底层渲染代码。该语言已可通过 Flint-MCP 和 MCP Apps 在聊天环境中使用，开发者也能用编程 API 构建仪表盘和自定义交互。

10月22日周四
  1. Microsoft Research78

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

    微软研究院张新志与Zhao Song证明1995年提出的KLS猜想，确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径，由研究者筛选方向并完成论证，另有独立团队同日给出完整证明，随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。

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

10月16日周五
  1. Microsoft Research62

    微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。

    推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和后量子安全上同时推进。

10月14日周三
  1. GitHub Blog · AI & ML48

    GitHub 新密钥检测模型：用更少噪声发现更多密钥

    GitHub 用微调后的 ModernBERT 分类器替换原有 LLM 流水线，做上下文感知的密钥检测。新方案使推送后扫描中位执行时间降低 86%、服务成本降低 98% 以上，告警接受率提升 11.5%。流水线先用正则生成候选，再由分类器结合文件路径、变量名和周边代码判断是否为真实凭据，并已将通用密钥检测扩展到推送保护。

10月13日周二
  1. Microsoft Research52

    微软研究院提出 StudentSim：用个性化学生模拟器评估和改进 AI 导师

    微软研究院提出 StudentSim，从公开的去标识化学习记录训练个性化学生模拟器，用于在真实学习者测试前评估和改进 AI 导师。研究同时发布 StudentSimEval 基准，覆盖国际象棋、第二语言英语写作和数学三个领域，从行为保真度和对指导的响应度两个维度评估模拟器。

10月8日周四
10月5日周一
  1. GitHub Blog · AI & ML58

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

    GitHub 发布代码审查离线基准 ReviewBench，包含 219 个公开 PR、覆盖 19 种语言，分布参照 103.9M 个 GitHub PR 建模。基准采用多来源黄金集与统一评分规则，由资深工程师独立复核，真阳性判断一致率 96.6%。它提供 grounded 与 augmented 两族指标，可按严重程度和类别切片，并支持提交自有审查智能体上排行榜。