**验证技术早于文字：五千年前的古代验证体系**

_Before the theorem prover: verification is older than the alphabet_

> 文章指出，验证（verification）的概念远早于现代定理证明器。早在公元前3300年，美索不达米亚的密封粘土信封就采用了冗余内容检查，甚至可能催生了文字的诞生。从苏萨、乌鲁克到雅典，古代文明已发展出完整的验证工具包，包括校验和、审计、接受测试、签名证书等。雅典在公元前375/4年更建立了基于大理石刻录的完整验证系统，包含书面验收规范、每日公共验证员及缺陷处理表。20世纪仅将规格形式化为定理，并将验证者本身可被验证，而验证工作本身已有五千年历史。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-07-30 09:40（北京时间）
- **原文**：[打开原文](https://amangoel.ai/blog/before-the-theorem-prover)