AI Theorem Prover Aristotle Verifies RISC-V CPU MUL/DIV Instructions

A developer demonstrated Aristotle, an AI theorem prover that connects to agents like Claude via MCP and can formally verify the correctness of all multiply and divide instructions in the Ibex RISC-V CPU with a single natural-language command.

2026-11-04 ~ 2026-11-04 · 2 related posts

• Formally verifying RISC-V CPU mul/div instructions with one AI theorem-prover prompt — satnam6502 · 2026-11-04
• Formally Verifying Ibex RISC-V MUL/DIV Instructions with One AI Prompt — satnam6502 · 2026-11-04