Anthropic称Claude为123个开源库生成约1.8亿行代码证明
热点事件观察中
Anthropic称Claude为123个开源库生成约1.8亿行代码证明
1 篇报道1 个报道来源2 天前更新
先了解这件事
事实说明
据 The Decoder 报道，Anthropic 让 Claude 为现有代码生成数学证明以验证其正确性，覆盖 123 个开源库，产出约 1.8 亿行证明代码；报道称该过程还发现了多年测试未发现的缺陷。Anthropic 的目标是让 AI 形式化验证像常规测试一样普及。
最新进展10月23日 19:32
Anthropic称Claude为123个开源库生成约1.8亿行代码证明报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The Decoder精选Anthropic称Claude为123个开源库生成约1.8亿行代码证明
据 The Decoder 报道，Anthropic 让 Claude 为现有代码生成数学证明以验证其正确性，覆盖 123 个开源库，产出约 1.8 亿行证明代码；报道称该过程还发现了多年测试未发现的缺陷。Anthropic 的目标是让 AI 形式化验证像常规测试一样普及。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 1010月23日 20:00
- 近 24 小时变化
- -51%
02.557.510
10月24日12:0010月25日12:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。