★ 3
Choir：分布式多智能体形式化开放协议
当前用 Lean 等证明助手形式化教科书与定理的工作多为集中式，由单一团队承担全部算力成本。Choir 提出开放协议，将项目拆解为可由独立贡献者完成的任务，各自运行自己的智能体与 LLM 订阅，通过 GitHub 仓库协调，合并前经确定性门禁校验。协议支持 Lean 4、Isabelle 与 Ro…
arXiv cs.AI34 天前
#开源协议
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
UAI：AI 智能体身份、授权与 BGP 式联邦协议
UAI 是一个开源协议，为自主 AI 智能体提供身份、授权和可独立验证的问责机制。它通过身份绑定、能力定义、签名行动证明和独立验证等层次，让智能体的行为可追溯、可核查，而不依赖单一全球权威。
Hacker News – AI31 天前
★ 2
Rubric 推出免费 AI 智能体决策存证协议
Rubric 发布开源决策存证系统，AI 智能体的决策记录写入免费，验证单条记录收费 0.10 美元。记录仅保存哈希承诺，通过 Merkle 证明与后量子签名锚定至 Hedera 主网，防止篡改与回溯。该模式颠覆了传统审计产品按写入收费的做法，旨在解决选择性存证导致审计链不完整的问题。
Hacker News – AI39 天前