搜索 AI 资讯

一群失控的 AI 智能体能教会我们如何产生更好的创意

本恩·斯坦西尔借助 Hugging Face 的这一技巧，阐释了为何最有用的创意往往源自最奇特的关联。

如何用一个连接 MCP 的 AI 智能体在六分钟内解决仪表板调试问题

一个 AI 智能体利用 BI 层内的 dbt 血缘关系，在喝咖啡的工夫里就解开了三个数据谜团。

凯文·鲁斯被AGI“洗脑”了。那你为什么没有呢？

今天，我采访了记者兼新书《AGI编年史》的作者凯文·鲁斯。这本书详细记录了人工智能行业近期发生的剧烈变革。凯文曾长期担任《纽约时报》记者，并主持过热门播客节目“Hard Fork”，但他与节目好友凯西·牛顿刚刚离开了[…]

PaperFormalizer：在精益框架下实现研究论文的作者参与式自动形式化

arXiv:2610.31810v1 发布类型：新 基本摘要：即使经过仔细校对的论文，其证明或所作假设中也可能存在细微漏洞。我们提出了 PaperFormalizer，一个基于 Lean 的智能体驱动流水线，帮助作者发现并弥补自身论文中的此类漏洞，并将每篇论文转化为经 Lean 验证的版本。PaperFormalizer 从 LaTeX 源文件入手，将其转换为陈述的依赖关系图，逐条审核自然语言表述的忠实性、歧义性和正确性，随后在 Lean 中对这些陈述进行形式化并加以证明，同时参考 Mathlib、可选的领域库以及作者个人的工具包。只有作者最清楚某条陈述的真实意图，以及如何最佳地填补某一结论中的形式化缺口。因此，该流水线会在必要时暂停，并向作者提出相关问题。

微软开源Agensh：支持1024个自主协作AI编码代理的去中心化框架

微软研究院于2026年10月25日开源Agensh，一种无需中央协调器的多代理运行时框架，支持1至1024个LLM编码代理在ProgramBench上自组织协作。系统基于Gitea、Mattermost和DeLM风格共享看板实现去中心化协调，所有代理运行同一提示驱动的五步循环，已在Linux+Docker环境下验证可扩展性。

推荐理由：该成果代表多智能体系统架构的重要演进——摒弃传统‘主控代理’范式，通过提示工程与轻量服务组合实现大规模自组织；其在ProgramBench上的实证数据（如128代理使5任务均分提升49%）为分布式AI工程提供新基准；MIT许可证开源且兼容Copilot CLI等主流单代理工具，具备实际开发参考价值。

Anthropic开源OS级沙箱sandbox-runtime：为AI代理提供无容器的文件与网络隔离

Anthropic于2026年10月24日开源sandbox-runtime（srt），一款不依赖容器的OS级沙箱工具，用于限制AI代理、MCP服务器及CLI工具的文件读写与网络访问权限；支持macOS（Seatbelt）、Linux（bubblewrap）及Windows（alpha），npm包v0.0.81，Apache-2.0许可。

推荐理由：该工具代表AI安全基础设施的重要演进——通过操作系统原生隔离机制实现细粒度、进程树全覆盖的沙箱控制，直面提示注入与权限泛滥风险，且已投入Claude Code内部使用验证效果。

Amazon SageMaker AI 推出无GPU管理的模型定制训练会话，正式全面可用

AWS 宣布 SageMaker AI 无服务器模型定制功能新增「训练会话（Training Sessions）」，即日起全面可用。用户可自主编写后训练逻辑（如自定义损失函数、奖励信号、多轮强化学习），而 GPU 分配、分布式执行、容错恢复与检查点存储均由平台自动处理。

Claude Mods：注意力接口的首次实践，人类可编程的代理交互层

Claude Mods 是 Anthropic 推出的 Claude Code 可编程插件系统，代表‘注意力接口’（Attention Interface）的早期形态——它将传统面向机器的代理运行时框架（agent harness），转向面向人类注意力的可定制交互层。用户可通过 TypeScript/JS 编写 Mods，或用自然语言让 Claude 自动生成，从而决定何时被中断、看到什么内容、需做哪些决策。

Claude Mods：可编程的注意力接口，重塑人与AI代理的协作范式

Claude Mods 是 Anthropic 推出的面向开发者的可编程插件系统，标志着‘代理运行时’（agent harness）从机器侧接口转向人类侧接口——即‘注意力接口’（Attention Interface）。它允许用户通过 TypeScript/JavaScript 自定义 Claude Code 的行为、渲染与交互逻辑，实现人与 AI 共同设计工作流。该机制已用于内置功能（如 You Should Know），并支持用户自主构建或由 Claude 辅助生成插件。

引用阿迪·奥斯马尼、摩根·韦斯特利·伦特和王青的话

我们认为，“是人类读过这段代码吗？”这一问题并不能准确反映“这项变更可能会出现哪些问题，以及究竟该由自动化检查还是人工检查来发现这些问题？”在审查流程发生变化后，这个问题的提出方式也随之改变。过去，代码审查就像是一道位于终点的关卡：写完代码，提交拉取请求，然后等待同事审核。而现在，代码审查已变为持续进行的过程，更像是你在编写代码时的拼写检查。大多数代码变更在交由人工审阅之前，都至少经过Claude的一次审查并修复。这能够及时发现大部分常规性错误，从而让团队将精力集中在更高层次的问题与更深入的把关上。——阿迪·奥斯马尼、摩根·韦斯特利·伦特和王青，《Claude Code团队如何进行代码审查》 标签：拟人化、Claude、人工智能、Claude-Code、大语言模型、阿迪·奥斯马尼、编码智能体、生成式人工智能、智能体驱动工程，

啁啾乒乓球

工具：啁啾乒乓球 另一项游戏实验——我想看看是否能在两部独立的手机上实现一款双人游戏，这两部手机运行的是静态HTML页面，网络代码通过麦克风发送的啁啾信号来实现。看起来确实可行！构建一款双人竞技型乒乓球游戏，两位玩家将手机彼此靠近，游戏状态通过音频噪音传输，而这些噪音可由Web麦克风API进行解析——但同时加入图形与玩法上的创新，让其比Claude Opus 5.5 Extra中的Claude Code版本更加有趣、更具互动性。标签：游戏设计、人工智能、生成式人工智能、大型语言模型、Claude Code

LaTeX 渲染器

工具：LaTeX 渲染器 受保罗·福特和 Aboard Foundry 新推出的网页应用 Tiny Little Office 的启发，该应用提供了一套网页内容编辑器（包括文字处理器、大纲编辑器、演示文稿制作工具、电子表格、计算器、绘图工具、图表制作工具、动画制作工具、日历以及行程规划器）。Tiny Little Office 的一大特色是将所有文档数据存储在 URL 的 #fragment 部分，因此使用它创建的每个文档都可作为书签并方便分享。此外，它还配备了一个 llms.txt 文件，用于指导智能体如何构建能够渲染为文档的 URL。Claude 利用该文件生成了这个链接，指向一个解释 URL 格式运作方式的演示文稿：Tiny Little Office 启发我让 Claude Code（Opus 5.5 Extra）开发了一款类似的工具，专门用于处理 LaTeX。以下是序列