Lauren Tan 看好 Bend：代码库可形式化验证自身，代码审查问题即被解决

Lauren Tan 表示非常看好 Bend，认为当代码库能形式化验证自身时，代码审查问题即被解决，可以极快速度交付。VictorTaelin 称 Bend 能拒绝任何不正确输出，让 AI 智能体反复重试直到没有 bug，从而突破 AI 构建软件的复杂度上限，代价是消耗更多时间和 token。他还表示自己已不再使用其他语言，Bend 自举已在推进中。