保持 AI 精简，才能保持 AI 正确

Stack Overflow 博客文章探讨让 AI 保持精简为何有助于其保持正确。文章以 Lean 为例说明：Lean 既是函数式编程语言，也是证明助手，开发者可在同一套系统内编写程序并验证其数学正确性。