Anthropic称Claude实现大规模软件形式化验证

OmniTools 10月23日消息，Anthropic 在 X 平台发布帖文称，Claude 实现了大规模软件形式化验证。

该表述来自 Anthropic 的 X 原帖，帖文未进一步披露所用方法、验证规模、适用软件类型及可复现的技术细节。

形式化验证通常指以数学方法证明软件符合特定规范。这一说法在 X 英文区引发讨论，目前尚无更多官方说明。