技术方向
能自己拆解任务、调用工具、一步步把事办完的 AI 智能体：Claude Code、Manus 等应用，各家 Agent 框架与评测。
4 条精选近 30 天 4 条共收录 26 条
微软研究人员发现名为 Lazarus 的后门技术，通过权重重编程修改 LLM 中不到 10 个休眠神经元，无需训练即可给基于该模型的智能体植入后门。被植入后门的模型能通过标准评测并表现正常，直到触发条件出现，例如时钟跨入 2027 年后，智能体在普通任务中输出下载并运行攻击者代码的命令，并以用户授予的权限执行。
推荐理由：研究显示仅改写不到 10 个休眠神经元即可给智能体植入后门，且模型仍能通过常规评测，为权重来源与完整性提供了新的风险视角。
微软研究院联合 GitHub Next 提出 Proof-Driven Development（PDD）与配套工具 PDD Kit，把用户意图转成 Verus 形式化规格，证明智能体写的代码对每个输入都满足规格，证明覆盖不到的部分改用测试。
推荐理由：微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码，把审查重心从逐行读代码转向审阅意图规格。
微软研究院发布 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让智能体生成可点击、筛选、缩放、高亮并支持跨图表联动的图表。
推荐理由：微软研究院把交互逻辑交给编译器处理，让智能体生成可点击、可联动的图表，读者可据此判断 AI 生成可视化的可靠性瓶颈在哪。
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，即存在一个固定常数上界。
推荐理由：这篇论文证明了一个悬置31年的几何猜想，并交代了人类主导、AI 智能体并行探索的研究流程。