ChatGPT can’t beat human smart contract auditors yet: OpenZeppelin’s Ethernaut challenges Jun 1, 2023