法律的 AI 工程学 LegalAVA
一组把法律推理当作工程对象来分析的文章：从霍姆斯“法律的生命不是逻辑，而是经验”出发，讨论大语言模型与普通法的结构同构、语料与社会共识之间的裂缝、人机分工的工程原则、结论先行与形式逻辑的价值，以及用预言机、版本控制这些工程概念对法律制度的重新描述——既写 AI 在法律推理中的位置，也写被工程语言照亮的法律本身。
AI 是一位普通法法官吗？——大语言模型像的不是法官，而是普通法本身平均数不是共识——语料、模型与社会共识之间的四道裂缝在裂缝上架桥——裂缝不必填平：人机法律推理的分工工程写不下去的判决书——结论先行、事后证立，与法官必须通过的资格考试可以被弹劾的结论——形式逻辑的价值自由心证不自由——心证是什么，“自由”从谁手里争来，律师究竟在影响什么往返的目光——恩吉施的比喻与王泽鉴的操作规程三段论之外——演绎之外的六件工具，与它们的法律血缘清单从哪里来——规则不是蒸出来的，是长出来的法律的版本控制——普通法是 Git，中国法是 monorepo读不完的文本——法律从未读完过自己第二次通读——有效的检索，预设一个已经读过的读者弹劾的自动化——单元测试是自带弓箭手的靶子一张有答案的考卷——没红过的测试不可信最小的靶子——测试越小，红灯越值钱法官是一台预言机——喂价、操纵与聚合：法律两百年前就在解预言机问题胜率的算术——贝叶斯定理，与“我这个案子能不能赢”的诚实答案AI 解决分歧——模拟层、预期收敛，与诉讼的 Rollup 化省下来的时间归谁——效率红利留不住，能力红利拿不走：法律 AI 两条产品线的经济学前线工程师——蒸馏与把关：红利流向定价者之后，剩下的两道人工工序过渡期的租金——终点已定，路上的钱在哪里：时间差、信息差，与过渡期利润的正确用途核验半径——AI 赋能的有效范围，与一次不敢投的标断言与劝诫——给机器立的规矩，只有会失败的那部分算数断点——事实、授权、评价与责任：机器无法自产的四种输入最古老的 harness——程序法是人类为易错智能写下的第一份 harness法律的钟表——期限是最纯粹的机械判据：买得起钟表的地方，法律不用判断机器的程序法——把程序合法的要件，当作法律 Agent 的设计规格没有法官的程序——非诉程序的五个母题，与多 Agent 协作缺的那半张图纸可靠性的利息——法律 Agent 的目标函数是可担保，效率是做成之后的利息木屑的价格——最贵的资源是停下来：从一台车床看 Agent 的异步工程学没有模具的文件——3D 打印的行业名叫增材制造，而用范本写文件是一门减材手艺给机器一张桌子——桌面、视力与手：方法论之下的基础设施写给机器的纸条——排版给眼睛，明文给读者：机器时代的公文格式代码即记忆——法律是最早的可执行记忆：规则替社会记住教训，也替社会藏起理由机器的三种记忆——知道的、经历的、会做的：三层记忆，三档信任