- 论文公开站arXiv
日常AI智能体使用中的价值敏感委托：来自OpenClaw的证据
Value-Sensitive Delegation in Everyday AI Agent Use: Evidence from OpenClaw
摘要显示，研究采用价值敏感设计方法，借助LLM分析了Reddit上73,093条关于OpenClaw使用的一人称帖子，标注其人类价值、代理层面、价值满足情况与用户结果。21种价值归为六组，包括自主运行、可靠、低成本运行、有限边界、可审查与公平获取。价值多集中于用户设定的运行条件而非代理输出；在五组中用户描述代理交付内容时价值通常被满足，而在全部六组中用户描述监督过程时价值多未被满足。作者将其概念化为价值敏感型委托。
意义：提示AI代理评测不应只看任务完成率，还需关注成本、访问权限与监督等用户设定条件对价值实现的影响。
- 论文公开站arXiv
旗帜游戏：机制群体可解释性的玩具模型
Flag Game: A Toy Model for Mechanistic Swarm Interpretability
摘要显示，该论文提出 Flag Game 玩具模型，用于研究 AI 智能体集体信念形成的机制。模型以隐藏国旗为真值，每个受限智能体仅观察私有局部图像，但可交换信念并权衡同伴的社会证据。摘要称该模型复现了丰富的集体现象，包括性能随群体规模的非单调变化、社会意识提示与团队多样性带来的准确率提升，以及组织结构的影响，并识别出小规模下的集体信念崩溃随规模增长转为信念极化。论文还提出社会电路归因技术，通过因果干预验证其对集体动态关键智能体与观点的…
意义：为多智能体集体行为的安全与对齐研究提供可解释性工具，社会电路归因有助于定位影响集体决策的关键智能体与观点。
- 论文公开站arXiv
智能体社会需要社会性治理框架
Agentic Societies Need a Social Harness
摘要显示，论文提出"智能体社会"概念，指多个AI智能体代表不同主体、跨信任边界自主协作。实验表明，即便诚实且能力足够的智能体，在现有 harness 与消息原语下也常无法达成满意结果；而故障或恶意智能体可通过通信（"speech"）漏洞拖延协作、影响结果并追求有害目标。作者主张除管理私有上下文与委托人通信的"个人 harness"外，还需"社会性 harness"，并提出分层架构，实现失败预防、运行时无效消息检测与事后追责。
意义：为多智能体系统提供跨信任边界的通信安全与追责设计思路，对构建可审计、抗攻击的智能体协作基础设施有直接参考价值。
- 论文公开站arXiv
AI从应用到硅片的权威验证：一人五周流片RISC-V，零人工审查
AI with Authority, from Application to Silicon
摘要显示，生成式AI使机器验证从昂贵开销变为高效必需。一名研究人员在五周内，利用消费级AI订阅，指挥AI代理从应用代码经验证编译器到RISC-V处理器流片，全程无人工审查、无人工编写RTL。所采用的Salt方法基于证明内核，杜绝幻觉证明，验证从Lean 4内核到硅边界SAT检查逐环相扣。记录显示错误账本编号至#256，零错误证明进入记录。
意义：展示AI代理在硬件设计中的可靠协作范式，验证自动化证明与人类监督的结合，对提升AI开发效率与信任度有指导意义。
