Anthropic工程师称大规模形式化验证已可行

Anthropic 工程师 thsottiaux 表示，对数千万行代码进行形式化证明已不再荒谬，新系统设计应考虑这种做法。报道未称相关验证工作已经完成或给出实证结果。 morqon 据此建议调整提示词，认为模型能力已足以支撑大规模形式化验证工作流；这一判断源于前述工程师的说法。

AI 根据报道生成 · 13 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。