Skip to content
Codex (and GPT-4) can’t beat humans on smart contract audits
blog.trailofbits.com | blog | #ai-security | #web3 | #codex | #smart-contracts | #security-audit | #llm | #trail-of-bits | #solidity | #gpt-4 | #openai-codex
Summary
Trail of Bits piloted Toucan to integrate OpenAI Codex into Solidity audits; even GPT-4 can't reason about reentrancy and ownership, so human auditors still reign.
- Published
- Collected