ChainGPT discusses how automated triage systems for smart contract auditing create security vulnerabilities, as code flagged as low-risk bypasses human review. The platform offers an auditing service with formal verification to address this gap.