LEGALAVA / ESSAYS

法律的 AI 工程学

用工程学的语言重述法律推理,也用法律的经验理解人工智能。

一组把法律推理当作工程对象来分析的文章:从霍姆斯“法律的生命不是逻辑,而是经验”出发,讨论大语言模型与普通法的结构同构、语料与社会共识之间的裂缝、人机分工的工程原则、结论先行与形式逻辑的价值,以及用预言机、版本控制这些工程概念对法律制度的重新描述——既写 AI 在法律推理中的位置,也写被工程语言照亮的法律本身。

按主题阅读

起点

大语言模型与普通法

  1. 01

    AI 是一位普通法法官吗?

    大语言模型像的不是法官,而是普通法本身

    2026-07-30 · 4 分钟阅读

裂缝与分工

语料、共识与人机协作

  1. 02

    平均数不是共识

    语料、模型与社会共识之间的四道裂缝

    2026-07-30 · 5 分钟阅读
  2. 03

    在裂缝上架桥

    裂缝不必填平:人机法律推理的分工工程

    2026-07-30 · 6 分钟阅读

证立与心证

结论如何获得可信的理由

  1. 04

    写不下去的判决书

    结论先行、事后证立,与法官必须通过的资格考试

    2026-08-02 · 7 分钟阅读
  2. 05

    可以被弹劾的结论

    形式逻辑的价值

    2026-08-02 · 6 分钟阅读
  3. 06

    自由心证不自由

    心证是什么,“自由”从谁手里争来,律师究竟在影响什么

    2026-08-02 · 6 分钟阅读

方法

法律推理的操作规程

  1. 07

    往返的目光

    恩吉施的比喻与王泽鉴的操作规程

    2026-08-02 · 7 分钟阅读
  2. 08

    三段论之外

    演绎之外的六件工具,与它们的法律血缘

    2026-08-10 · 9 分钟阅读
  3. 09

    清单从哪里来

    规则不是蒸出来的,是长出来的

    2026-08-05 · 6 分钟阅读
  4. 10

    法律的版本控制

    普通法是 Git,中国法是 monorepo

    2026-08-05 · 7 分钟阅读

阅读

法律文本的读法

  1. 11

    读不完的文本

    法律从未读完过自己

    2026-08-05 · 6 分钟阅读
  2. 12

    第二次通读

    有效的检索,预设一个已经读过的读者

    2026-08-05 · 7 分钟阅读

测试

用测试工程的眼光看质检

  1. 13

    弹劾的自动化

    单元测试是自带弓箭手的靶子

    2026-08-05 · 9 分钟阅读
  2. 14

    一张有答案的考卷

    没红过的测试不可信

    2026-08-05 · 7 分钟阅读
  3. 15

    最小的靶子

    测试越小,红灯越值钱

    2026-08-05 · 5 分钟阅读

预测与分歧

胜率、预言机与预期收敛

  1. 16

    法官是一台预言机

    喂价、操纵与聚合:法律两百年前就在解预言机问题

    2026-08-02 · 6 分钟阅读
  2. 17

    胜率的算术

    贝叶斯定理,与“我这个案子能不能赢”的诚实答案

    2026-08-10 · 9 分钟阅读
  3. 18

    AI 解决分歧

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

    2026-08-04 · 8 分钟阅读

经济学

红利、租金与核验半径

  1. 19

    省下来的时间归谁

    效率红利留不住,能力红利拿不走:法律 AI 两条产品线的经济学

    2026-08-10 · 5 分钟阅读
  2. 20

    前线工程师

    蒸馏与把关:红利流向定价者之后,剩下的两道人工工序

    2026-08-10 · 4 分钟阅读
  3. 21

    过渡期的租金

    终点已定,路上的钱在哪里:时间差、信息差,与过渡期利润的正确用途

    2026-08-11 · 5 分钟阅读
  4. 22

    核验半径

    AI 赋能的有效范围,与一次不敢投的标

    2026-08-11 · 5 分钟阅读

Harness

给机器立规矩:程序、协作与记忆

  1. 23

    断言与劝诫

    给机器立的规矩,只有会失败的那部分算数

    2026-08-05 · 6 分钟阅读
  2. 24

    断点

    事实、授权、评价与责任:机器无法自产的四种输入

    2026-08-02 · 7 分钟阅读
  3. 25

    最古老的 harness

    程序法是人类为易错智能写下的第一份 harness

    2026-08-12 · 5 分钟阅读
  4. 26

    法律的钟表

    期限是最纯粹的机械判据:买得起钟表的地方,法律不用判断

    2026-08-16 · 5 分钟阅读
  5. 27

    机器的程序法

    把程序合法的要件,当作法律 Agent 的设计规格

    2026-08-12 · 6 分钟阅读
  6. 28

    没有法官的程序

    非诉程序的五个母题,与多 Agent 协作缺的那半张图纸

    2026-08-13 · 6 分钟阅读
  7. 29

    同事,不是分身

    多代理设计的第一变量不是谁指挥谁,而是谁不该知道什么

    2026-08-28 · 5 分钟阅读
  8. 30

    可靠性的利息

    法律 Agent 的目标函数是可担保,效率是做成之后的利息

    2026-08-15 · 5 分钟阅读
  9. 31

    木屑的价格

    最贵的资源是停下来:从一台车床看 Agent 的异步工程学

    2026-08-14 · 5 分钟阅读
  10. 32

    没有模具的文件

    3D 打印的行业名叫增材制造,而用范本写文件是一门减材手艺

    2026-08-26 · 6 分钟阅读
  11. 33

    给机器一张桌子

    桌面、视力与手:方法论之下的基础设施

    2026-08-14 · 4 分钟阅读
  12. 34

    写给机器的纸条

    排版给眼睛,明文给读者:机器时代的公文格式

    2026-08-14 · 5 分钟阅读
  13. 35

    代码即记忆

    法律是最早的可执行记忆:规则替社会记住教训,也替社会藏起理由

    2026-08-17 · 5 分钟阅读
  14. 36

    机器的三种记忆

    知道的、经历的、会做的:三层记忆,三档信任

    2026-08-17 · 5 分钟阅读
  15. 37

    没有脚注的纹身

    《记忆碎片》里的外置记忆:遗忘者靠什么活,以及谁在替他写条子

    2026-08-28 · 6 分钟阅读