QuixiAI开源Charter规则语言
热点事件持续更新
QuixiAI开源Charter规则语言
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
QuixiAI宣布将Sovereign Protocol Language演化为Charter并开源；这是一个基于Lean 4构建、已通过eFLINT全部测试的超集DSL，面向形式化表达制度规则。 Charter可用于宪法、协议、章程、合同和规章，提供事实、行为、义务、权力、豁免、时间、模块及出处溯源等通用构造，但不包含协议特定原语。
AI 根据报道生成 · 59 分钟前更新
最新进展11月6日 23:49
QuixiAI 发布基于 Lean 4 的形式化验证规则语言 Charter报道时间线
沿着报道，了解事件的不同侧面。
11月6日
- AGI HuntQuixiAI 发布基于 Lean 4 的形式化验证规则语言 Charter
QuixiAI 宣布将 Sovereign Protocol Language 演进为 Charter，这是一个基于 Lean 4 构建并通过 eFLINT 全部测试的超集 DSL。Charter 面向宪法、协议、章程、合同和规章等制度规则，包含事实、行为、义务、权力、豁免、时间、模块和出处溯源等通用构造，项目已开源。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。