标签: 形式化证明

知识共识链：用 PoS 和智能体投票给事实与逻辑记账

设想一条链：每条知识不超过 1 KB，必须引用链上已有的知识，由一群 agent 投票决定是否成立，提交者和投票者都能领到新发的币。顺着这个设想往下走：它应该长什么样、哪些部分已经有人做过、一条知识的一生怎么走、币怎么发，再中立地看几个逻辑上的问题：根从哪来、引用对了推理是否就对、多数票和真相是什么关系、投票权和奖励会把参与者引向哪里，以及它和 Lean 形式化证明到底谁更普适。