AI 解决分歧

——模拟层、预期收敛,与诉讼的 Rollup 化

未来的法律系统里一定会有 AI,这件事几乎不需要预测;需要预测的是位置。这个系列已经排除过一个位置——神谕;也安排过一批位置——类案检索员、起草助理、随叫随到的反方(《在裂缝上架桥》)。但还有一个位置,前面七篇都没有点名,而它可能是最重要的一个:模拟层。律师把 AI 当模拟法庭,把诉状预演一遍再改一遍;当事人把 AI 当模拟庭审,拿到一个中立的预测,然后决定还打不打。

唯一不需要正当性的位置

《平均数不是共识》里四道裂缝中最深的一道是:正当性只能被授予,不能从数据里采样。这一条判了“AI 裁判者”的死刑,却恰好给模拟器发了通行证——模拟器不裁决任何东西,而预测不需要授权。

更妙的是,前三道裂缝在这个位置上集体翻转。要模拟真实的法庭,你恰恰需要它输出历史分布的平均数:模拟器的任务不是比法官更好,而是像法官。第二篇数落的那些缺陷——历史的沉积物、凝固的通说、文本空间的众数——在模拟层全部变成规格说明书。

这里还有一个分量很重的注脚。霍姆斯 1897 年在《法律的道路》里给法律下过一个著名的坏人定义:站在只关心后果的当事人视角,所谓法律,就是对法院事实上将做什么的预言,此外别无玄妙。 照这个定义读,一台可靠的庭审模拟器不是法律的辅助工具——它是霍姆斯那个定义在一百多年后的第一次机器实现。

第一种用法:反复推敲的起诉状

律师的用法先说,因为系列读者会一眼认出它的血统:考场的又一次前移。《写不下去的判决书》里,考场设在文书上——写不下去的结论会被换掉;《可以被弹劾的结论》里,考场前移进法官的头脑——知道要受检的人连敢冒出什么预感都被反向塑造。现在考场干脆搬出法院、进到律师手里,而且性质变了:法官的考场一案只开一次,模拟的考场想开多少轮就开多少轮。于是它不再是一场通过或不通过的考试,而是一个进化回路:起草——模拟——看哪个主张被打穿、哪条证据链没接上——改写——再模拟。经不起模拟的主张死在自家电脑上,扛过模拟的主张被逐轮锻打得更硬;提交那天的起诉状,是这个回路里活下来的第 N 版。

但要看清这种用法的性质:它是对抗性的。双方都会用,军备竞赛的净效果近于零和——它抬高进入法庭的论证下限,并不改变胜负的分布。有价值,但那是磨刀石的价值。真正改变结构的是第二种用法。

第二种用法:预期收敛

为什么会有诉讼?博弈论给过一个比直觉深一层的答案:不是因为双方有分歧——有分歧可以谈——而是因为双方对“法官会怎么判”的预期有分歧。两边都过度乐观:一个要八十,一个只肯给二十,和解区间不存在,只好开庭,花两年时间和两份律师费,让法官教育其中一方。诉讼在这个意义上是一台昂贵的预期校准装置。

现在让双方在起诉前共同跑一遍模拟庭审,拿到同一个中立读数。注意这句话的前提藏在“共同”两个字里:双方先把各自的事实主张与证据合并成同一份输入,读数在这份共同卷宗上生成。 这不是操作细节,是中立性的全部来源——《平均数不是共识》说过,模型的立场随提问的立场漂移,所以各喂各的材料只会得到两份互相乐观的预演,不但压缩不了预期分歧,反而给双方的过度自信各充了一次值。同一读数之所以配称中立,不是因为机器没有立场,而是因为输入在立场介入之前就被冻结。如同两个争执价格的交易员,先约定以同一家交易所的行情为准。输入统一之后,预期分歧被压缩,和解区间出现,交易达成。上一篇结尾写“和解是链下清算——双方对读数的预期收敛到不必再读”,写的时候是修辞;模拟层让它变成产品说明书:有了一台公共读数装置,就不必等真读。

落地的管道是现成的:模拟结论本身没有既判力,但双方据此达成的合意有现成的硬化通道——套上一层人民调解或行业调解的壳,调解协议经司法确认即获强制执行力(司法确认只认调解组织主持下达成的协议,纯粹的自行和解还差这一道手续);急一点的,直接做成公证债权文书。制度史上它也有一排祖先——早期中立评估、小型审判、诉前调解——AI 做的只是把“中立评估人”这个稀缺资源的成本降到接近零、供给扩到无限。在案多人少的地方,这不是锦上添花,是雪中送炭。

诉讼的 Rollup 化

用上一篇的语言把这个架构说完整。区块链的扩容方案是分层:L1 主链安全可靠但又慢又贵,于是把海量日常交易搬到 L2(rollup)上批量处理,只把最终结算和争议交回 L1。其中 optimistic rollup 的机制对法律人格外眼熟:默认 L2 的结果有效,但留出一个挑战期,任何人发现错误都可以提交欺诈证明,触发 L1 重算。

模拟-和解层,就是司法系统的 L2:法院是 L1——慢、贵,但拥有最终性与强制力;模拟层快、便宜、批量清算纠纷;默认按模拟读数和解,任何一方不服,随时可以把案子提交 L1 重算——起诉权,就是那个不可关闭的挑战期窗口。 而 L2 之所以可信,唯一的原因是 L1 真实存在且随时可达。抽掉法院,模拟层一天都站不住。

四条工程纪律

这条路通向一种新的争议解决方式,还是通向一场新的事故,取决于四条纪律。

1、给赔率,不给判决。 模拟层没有质证。共同输入统一的是摆上桌的材料,不是哪个版本为真——双方各执一词的事实,在卷宗里依然各执一词,而大量纠纷争的恰恰是事实。所以诚实的输出只能是条件化的概率:“若借款交付获得认定,原告胜诉概率约七成;本案的争议实际收敛于交付这一个节点。”这仍然极有用——它把纠纷树剪枝到真正的争点——但形式必须是分布,不是结论。给赔率是诚实,给判决是僭越。 也因此,最先跑通的一定是事实高度书面化的案型:借贷、买卖、劳动报酬——证据自己会说话的地方。

2、守住退出通道。 模拟层与裁判层的边界是制度性的,不是技术性的。一旦保险公司强制先模拟、法院对偏离模拟结果的起诉隐性施压、当事人在自动化偏见下不敢质疑那个从不迟疑的声音——退出通道就名存实亡,模拟层悄悄变成了裁判层,而它从未获得过裁判的授权。《在裂缝上架桥》警告的神谕化死路,会从这条最善意的路上绕回来。挑战期窗口必须真实可用,否则 L2 就成了没有 L1 的 rollup——那种东西有个更古老的名字,叫私刑。

3、别吃掉训练信号。 被模拟促成和解的案件不再产生真实判决,模拟器会逐渐失去校准来源——预言机把自己赖以报价的现货市场做薄了。幸好这个问题自带解药:模拟器最没把握的案件,恰恰是双方预期无法收敛的案件,它们自然流向法院。于是模拟层自动执行了《在裂缝上架桥》第六条原则的分流:定型案件在 L2 清算——那里本来就不产生新法;生长边缘的案件上 L1——那里才需要法官。 条件只有一个:抵住把疑难案件也劝进和解的诱惑。那不是减负,是替法律拔掉生长点。

4、别让 L2 倒灌合同。 模拟层还会产生一种上游压力:既然纠纷终将由机器预演,合同岂不该预先写成机器可推理的闭合文本——每个要件定义封死、每种情形预设后果,像智能合约一样部署即冻结?这个推论只在执行非人格化的地带成立。合同法社会学最经典的发现(Macaulay,1963)是:商人普遍不读合同、不援引合同,交易靠关系和声誉治理;中国实务是这一发现的重度版本——先签了再说,出了问题再谈,谈不拢才翻合同。在这样的环境里,面面俱到的文本有三重真实成本:每个条款都是一个谈崩点;过度完备本身传递不信任;而签约窗口是会关的。故意的不完备,是定价过的。 所以分工要按执行环境切:将来交给机器结算的条款——支付节点、对赌触发、数据留痕——写到机器可推理;靠关系治理的部分,最小切口,能签为先。模拟层改变的是纠纷的清算方式,不该反过来改变交易的达成方式:把所有合同都写成代码,等于为了 L2 的整洁,杀死了 L1 之前那个活的市场。

尾声:解决哪种分歧

最后回到标题。“AI 解决分歧”——严格说,它解决的是其中一种分歧。

纠纷里的分歧有两种。一种是定价分歧:双方对“法院会怎么判”估值不同。这种分歧没有尊严,纯粹是信息不足的产物,消灭得越快越好——模拟层干的就是这个。另一种是价值分歧:先例用尽、规则空缺、两条都成立的原则正面相撞。这种分歧是法律生长的胚芽,《在裂缝上架桥》说过:消灭它,等于杀死法律。

所以一个好的模拟层,本质是一台分歧的分拣机:用收敛的读数清空第一种,用坦白的不确定把第二种原样送进法庭。AI 解决分歧的最高境界,是知道哪些分歧轮不到它解决。

让机器结清昨天已有答案的争议,让法庭把力气留给明天——这大概就是那座桥最终的通行规则。