Anthropic 用 Claude 对 123 个库做形式化验证
Anthropic 研究博客介绍用 Claude 对 123 个软件库进行形式化验证的工作。
- 分级理由
- 兜底打分：范围 2＋跃迁 2＋资本 0＋持续 2＝6
- 机构
- Anthropic
- 模型
- 未标注
- 确认状态 / 日期依据
- 官方 / official_local
可追溯来源
- Anthropic （官方）
关联事件
暂无关联事件。
分级调整记录
暂无分级调整。
事件 ID：2026-10-22-anthropic-formal-verification
建立：2026-10-26T12:30:00+08:00
更新：2026-10-26T12:30:00+08:00