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
--- id: 1680 title: "Codex (and GPT-4) can’t beat humans on smart contract audits" source_domain: blog.trailofbits.com source_url: "https://blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/" published_at: "2023-03-22T11:00:49Z" tags: ["ai-security", "web3", "codex", "smart-contracts", "security-audit", "llm", "trail-of-bits", "solidity", "gpt-4", "openai-codex"] phying_url: "https://phying.com/item/1680" lang: en --- # Codex (and GPT-4) can’t beat humans on smart contract audits ## 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. ## Intelligence Metadata - **Sources:** blog.trailofbits.com - **Published:** 2023-03-22T11:00:49Z - **Original:** https://blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/ - **Phying News:** https://phying.com/item/1680