跳到正文
11月14日周六
  1. AWS Machine Learning Blog50

    用 Amazon SageMaker HyperPod Data Capture 构建模型改进飞轮

    Amazon SageMaker HyperPod 新增 Data Capture 能力,可在端点、负载均衡器、模型 Pod 三个独立层级把线上推理输入输出记录到 Amazon S3,对模型可用性零影响。文章以 Qwen2.5-3B-Instruct 家电客服路由为例,演示从采集、Athena 分析、SQL 标注到微调再部署的完整飞轮,并对比微调前后准确率。

11月13日周五
11月11日周三
  1. Microsoft Research78

    微软研究提出 Lazarus 后门技术:重编程休眠神经元即可控制 AI 智能体

    微软研究人员发现名为 Lazarus 的后门技术,通过权重重编程修改 LLM 中不到 10 个休眠神经元,无需训练即可给基于该模型的智能体植入后门。被植入后门的模型能通过标准评测并表现正常,直到触发条件出现,例如时钟跨入 2027 年后,智能体在普通任务中输出下载并运行攻击者代码的命令,并以用户授予的权限执行。

    推荐理由:研究显示仅改写不到 10 个休眠神经元即可给智能体植入后门,且模型仍能通过常规评测,为权重来源与完整性提供了新的风险视角。

11月6日周五
  1. Microsoft Research64

    微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    微软研究院联合 GitHub Next 提出 Proof-Driven Development(PDD)与配套工具 PDD Kit,把用户意图转成 Verus 形式化规格,证明智能体写的代码对每个输入都满足规格,证明覆盖不到的部分改用测试。

    推荐理由:微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码,把审查重心从逐行读代码转向审阅意图规格。

10月23日周五
  1. Microsoft Research61

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

    微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可点击、筛选、缩放、高亮并支持跨图表联动的图表。

    推荐理由:微软研究院把交互逻辑交给编译器处理,让智能体生成可点击、可联动的图表,读者可据此判断 AI 生成可视化的可靠性瓶颈在哪。

10月22日周四
  1. Microsoft Research76

    微软研究院等证明悬置31年的 KLS 猜想

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

    推荐理由:这篇论文证明了一个悬置31年的几何猜想,并交代了人类主导、AI 智能体并行探索的研究流程。

10月13日周二
  1. GitHub Blog · AI & ML40

    GitHub Copilot 新手指南:如何让 Copilot 了解你的代码库

    GitHub 博客介绍四种让 Copilot 适配项目的方式:用 .github/copilot-instructions.md 定义仓库级规范,用 agent skills 封装可重复流程,用自定义 agent 处理跨文件复杂任务,并通过 MCP 服务器连接外部工具与数据源。文中以 Playwright MCP 服务器为例,演示让 Copilot 在浏览器中手动测试界面功能。

7月7日周二