Claude 完成 123 个开源库 RISC-V 级安全证明，大规模形式化验证成现实
petrusenko_max · x · 2026-10-24
Claude 在 123 个开源库的 RISC-V 汇编层面完成了安全性质的形式化验证。这类任务过去需要数十年的人力才能完成，如今借助模型使大规模形式化验证变得切实可行，被视为 AI 在软件安全证明领域的标志性进展。
所属事件:Anthropic 用 Claude 数周完成百余开源库汇编级形式化验证(26 条相关)→
「模型」频道最新
- Artificial Analysis 知识榜:MiniMax 430B 拿 51% 超多个 3T 级模型 — teortaxesTex · 2026-10-24
- 手写正则是每个前沿 LLM 的隐形重活：预分词器内幕 — YouJiacheng · 2026-10-24
- Block 发布纯语音训练模型 Dessa：不靠文本，全双工实时对话像真人 — stochasticchasm · 2026-10-24
- 模型被指修复过度思考：推理 token 更省，作者怀疑刷榜 — cedric_chee · 2026-10-24
- 公开基准显示 Kimi K3 超越全部 OpenAI 模型，包括 Astra — bindureddy · 2026-10-24
- Kimi K3.1 Pro 首批实测出炉：对比 Opus 5.5、Gemini 4 等多款旗舰 — arena · 2026-10-24