热点事件持续更新
Anthropic用Claude扩大软件形式化验证规模
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
10月23日，Hacker News 首页报道了 Anthropic 与 Theorem 使用 Claude 扩大软件形式化验证规模的研究。研究将既有模糊测试转换为形式化规格，为123个开源库的239个测试入口完成了 RISC-V 二进制级安全属性验证。Claude 在流程中修复发现的漏洞，并生成约1.8亿行 Rocq，随后由 Rocq 检查器核验。此次展示涵盖从既有测试转化、漏洞修复到生成验证代码并交由检查器核验的流程。
AI 根据报道生成 · 54 分钟前更新
最新进展10月23日 06:54
研究使用Claude完成123个开源库、239个测试入口的RISC-V二进制级安全属性验证。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- Hacker News 首页精选Anthropic 研究展示大语言模型如何扩大软件形式化验证规模
Anthropic 与 Theorem 使用 Claude，为 123 个开源库的 239 个测试入口完成 RISC-V 二进制级安全属性验证。研究将既有模糊测试转为形式化规格，由 Claude 修复发现的漏洞并生成约 180 million 行 Rocq，由 Rocq 检查器核验。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。