This person @pashov has developed an AI that can autonomously audit smart contracts. It's called Solidity Auditor. It features multiple sub-agents working together: one for finding vulnerabilities, one for generating exploits, and another for drafting reports. You can apply it to any Solidity codebase, and it can detect errors that have previously caused protocols to lose millions of dollars. It's completely open-source, can run on your own AI model, and is free. This is incredible!