Anthropic与Theorem用Claude验证既有代码
热点事件持续更新
Anthropic与Theorem用Claude验证既有代码
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Anthropic与Theorem利用Claude对既有软件开展形式化验证，几周内基于Google OSS-Fuzz项目中123个开源库的测试程序，生成约1.8亿行数学证明代码，在限定条件下验证代码的正确性。 这些证明仅适用于特定处理器架构、单线程程序以及小于64MB的输入，不能据此认定相关软件在所有环境下都正确。计算成本也较高，单个证明可消耗数亿个token。
AI 根据报道生成 · 2 小时前更新
最新进展10月23日 19:32
Anthropic 用 Claude 自动生成数学证明，验证现有代码在限定条件下的正确性报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The DecoderAnthropic 用 Claude 自动生成数学证明，验证现有代码在限定条件下的正确性
Anthropic 与 Theorem 使用 Claude 验证现有软件，几周内为 Google OSS-Fuzz 项目中 123 个开源库的测试程序生成了约 180 million 行数学证明代码。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。