Tomer Tunguz 探讨软件是生长出来还是设计出来

Tomer Tunguz 提出 AI 时代软件开发有两种路径：vibe-coding 像培养皿中生长细菌，迭代试错，高手会并行测试 4-5 个方案；而设计式软件是状态机设计，与 AI 协作时可要求其画出流程图并列出每个分支，漏洞会立刻显现，还可用形式化验证保证软件按预期运行。文中引用 Boris Cherny 用 Lean 与 TLA+ 对 Claude Agent SDK 做形式化验证的例子。