热点事件持续更新
多智能体委派容错预算守恒形式化
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年10月2日，arXiv cs.AI 刊出关于分布式多智能体委派中容错预算守恒的工作，将该性质形式化：预算被作为独占的托管信用额度，经委派 DAG 流转，并在调度前转换为绑定 epoch 与幂等键的操作预留。形式化证明覆盖所有权划分、账本与效果守恒、后代不放大、至多一次结算以及分区隔离，并给出不可区分性结果，表明分区本地可用性需要独占预分配。实验方面采用有界 TLA+ 检查与崩溃注入的双进程 SQLite 实验，覆盖崩溃、重试、分区等调度情形，并检出超时退款变异体。
AI 根据报道生成 · 1 小时前更新
最新进展10月2日 12:00
该工作给出预算守恒形式化证明，并以 TLA+ 检查与崩溃注入 SQLite 实验检出超时退款变异体。报道时间线
沿着报道，了解事件的不同侧面。
10月2日
- arXiv cs.AI分布式多智能体委派中的容错预算守恒
分布式多智能体委派中的容错预算守恒被形式化：预算作为独占托管信用额度经委派 DAG 流转，调度前转为绑定 epoch 与幂等键的操作预留。证明覆盖所有权划分、账本与效果守恒、后代不放大、至多一次结算与分区隔离，并给出分区本地可用性需独占预分配的不可区分性结果。Bounded TLA+ 检查与崩溃注入的双进程 SQLite 实验覆盖崩溃、重试、分区等调度，检出超时退款变异体。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。