Anthropic 工程师：数千万行代码的形式化验证已可行

Anthropic 工程师 thsottiaux 表示，对数千万行代码进行形式化证明已不再荒谬，应纳入新系统设计考量。morqon 据此建议调整提示词，暗示模型能力已足以支撑大规模形式化验证工作流。