请启用 JavaScript 和 Cookie 以继续。
请启用 JavaScript 和 Cookie 以继续。
arXivLabs 是一个允许合作者直接在我们的网站上开发和共享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认可我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观,并仅与遵循这些价值观的合作伙伴合作。如果您有能为 arXiv 社区增加价值的项目构想,请了解更多关于 arXivLabs 的信息。
随着人工智能体(AI agents)承担的任务日益自主且长期化,传统的人工监管和沙盒策略已无法满足需求。代理工具、网络协议与凭证之间复杂的交互,导致意外权限提升的风险呈指数级增长——例如,代理通过低级二进制文件绕过高级 API 的限制。
为解决这一问题,OpenShell 团队引入了**形式化方法**——即常用于验证 AWS IAM 和 S3 安全策略的技术——来治理代理系统。通过使用 **Z3 SMT 求解器**将策略约束建模为数学公式,OpenShell 能够确定性地证明拟议的策略变更是否仍在定义的安全边界内。
与计算密集型且易出错的概率性 AI 审查不同,基于 Z3 的形式化验证具备以下优势:
* **确定性审计:** 毫秒级的检查速度,无法被欺骗或误导。
* **数学约束:** 证明候选策略是已批准的“最大”策略的子集。
* **鲁棒性:** 自动检测能力扩张,例如 L7 到 L4 的绕过行为。
通过将形式化证明与人类或 AI 监督相结合,开发者可以创建可验证的审计追踪,确保复杂的长期运行代理系统即便在需求演变时,依然保持安全。
自 2020 年以来,人工智能行业的重心已从**训练**超大规模模型转向**推理**——即运行这些模型以生成文本、代码和驱动自主智能体行为的高算力需求过程。由于大语言模型(LLM)现已采用能够成倍增加输出并全天候运行的“推理”技术,对推理基础设施的需求激增,促使科技巨头结成前所未有的联盟并制定新的硬件战略。
与高度可并行化的训练不同,推理(特别是令牌生成的“解码”阶段)受到内存带宽的限制。随着模型规模的扩大,它们对数据的处理需求往往超出了标准 GPU 的数据传输能力,导致处理器空转。为解决这一问题,行业正转向“系统级”解决方案:
* **以内存为中心的架构:** d-Matrix 和 Majestic Labs 等公司正在将计算直接堆叠在内存上,或扩展接口以使用成本更低、容量更大的 DRAM。
* **专用硬件:** 英伟达(Nvidia)和亚马逊(Amazon)等厂商正在将传统 GPU(用于处理提示词)与专用芯片结合,例如 Cerebras 的晶圆级引擎或 Groq 以 SRAM 为核心的 LPU(用于生成)。
* **软件优化:** 量化(使用 4 位精度)等技术在保持模型质量的同时,大幅减小了内存占用。
归根结底,推理正在推动一个多元化、非常规硬件创新的新时代。
在标准的 IPv6 邻居发现机制中,主机在配置地址后即可立即联系路由器,但路由器在解析出主机的链路层地址之前无法发送回程流量。这种被动响应过程往往会导致连接的首批数据包延迟或丢失。 RFC 9131 中定义的 **GRAND(免费邻居发现,Gratuitous Neighbour Discovery)** 解决了这一不对称问题。主机不再等待路由器请求信息,而是在新地址可用时主动发送未经请求的邻居通告(NA)。随后,路由器主动在其邻居缓存中创建一个“STALE”条目,从而能够立即转发回程流量,无需经历地址解析带来的延迟。 在 FreeBSD 中实现 GRAND 不仅仅涉及数据包传输,还需要构建一套新的基础设施来处理通告的排队与延迟。通过严格遵守 RFC 4861 的定时和随机化规则,该实现确保了主动通告的高效性,并避免在繁忙网络中引发“组播风暴”。正如 RFC 9898 所认可的那样,GRAND 最终弥合了主机配置与网络就绪之间的差距,确保了数据中心和移动网络等动态环境下的连接能够更快建立。
Firefox.com 的重建是网页开发领域的一个里程碑,它最终实现了“CSS 禅意花园”(CSS Zen Garden)所追求的那种简洁、原生的设计理想。通过与 Mozilla 和 Lincoln Loop 的合作,开发团队放弃了复杂的预处理器,转而拥抱现代的原生 CSS。 得益于 CSS 变量(自定义属性)、Flexbox 和 Grid 等原生特性,团队构建了一个包含 70 多个组件和 25 个页面模板的健壮设计系统。这使得内容团队能够在无需工程团队持续介入的情况下,轻松管理 19 种语言版本。虽然项目使用了一个极简的 PostCSS 步骤来内联导入以提升性能,但其源代码始终保持为纯粹的浏览器原生 CSS,避免了现代构建工具通常所要求的“方言”。 该项目证明了网页平台已经足够成熟,足以在没有冗余架构层的情况下支持复杂且易于维护的设计系统。它强调了回归浏览器原生能力的趋势,确保设计决策能够直接转化为生产环境的结果。归根结底,这种方法推崇一种“正确”且“简便”的构建流程,从而为开发团队实现长期的系统一致性和开发速度。