概念
AI-greement
一个AI智能体框架，集成领域知识库、模块化实现骨架和形式化验证，用于自主发现、实现、实验和验证分布式共识协议。
时间轴 (近 90 天)
10月22日
一篇最新论文展示了一个名为AI-greement的智能体框架，自主发现并验证了新的共识协议A-greement。
待验证50%
10月22日
AI-greement框架集成了三个关键组件：面向概念的协议知识库、模块化的实现骨架、以及基于Lean的形式化验证框架。
待验证50%
10月22日
AI-greement的Lean形式化验证不仅验证了新协议的安全性，还揭示了现有共识协议中若干此前未报告的漏洞。
待验证50%
10月22日
论文作者强调，人类共识专家在AI搜索之前、之中和之后仍然至关重要，智能体改变的是研究者的角色，而非终结共识研究。
待验证50%