Home » ChatGPT can’t beat human smart contract auditors yet: OpenZeppelin’s Ethernaut challenges