Codex (and GPT-4) can’t beat humans on smart contract audits | Heykuki News