Codex (and GPT-4) can’t beat humans on smart contract auditsblog.trailofbits.com2 pointstyoma3 years ago