Machine verification becomes economical with AI: instead of verifying rare artifacts, you can verify every step of AI-directed work, making it safe for one person to oversee autonomous agents building complex systems.
A researcher used AI agents with formal verification to design and tape out a working RISC-V processor in five weeks, with zero human-written proofs or RTL code. The 'Salt method' uses a proof kernel that rejects any hallucinated proofs, letting AI work autonomously while maintaining mathematical correctness from application code through silicon.