AI 定理证明器 Aristotle 一句话验证 RISC-V CPU 乘除指令

作者 satnam6502 展示了自研 AI 定理证明器 Aristotle 的能力：通过 MCP 协议接入 Claude、Codex 等编程 agent 后，仅需一句自然语言指令，即可对开源 Ibex RISC-V CPU 的全部乘法和除法指令完成功能正确性的形式化验证，展示了 AI 工具在芯片级形式化验证流程中的新范式。

2026-11-04 ~ 2026-11-04 · 2 条相关