---
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