Paxos 之父 Lamport 用 Claude 做形式化规约，被赞预言 LLM 三十年

akbirthko · x · 2026-10-25

图灵奖得主、Paxos 作者 Leslie Lamport 的一句 "Claude, make no mistakes" 被网友做成 meme：他坚持规约应该是文本而非数学，如今恰好与用 LLM 写规格说明的玩法契合，被赞"提前三十年预见了 LLM"。转发者 Ilya 式评论进一步引申：这只是编程语言理论、自动定理证明、"学习→搜索"等形式化方法开始成为核心技术工具的一角——随着 AI 让认知劳动稀缺性消失、全球技术产物生成量指数级上升，"心灵的每个领域都将被形式化方法触及"。