The verification gap in AI-assisted Erdős problem solving: dataset and code

Data and analysis code for S. Olagoke, Faster Than They Can Be Checked: Measuring the verification gap in AI-assisted solutions to Erdős problems (2026). It contains all 251 public proof claims on erdosproblems.com from 14 Jul to 24 Sep 2026, with hand-coded verdicts (see CODEBOOK.md), status timelines from the Erdős problems database git history, the edit history of the AI-contributions ledger, and all code and figures. Collected 25 Sep 2026 from public sources. Reviewer identities are pseudonymised. The licensing is mixed: our annotations are CC BY 4.0, the code is MIT, and data derived from the Erdős problems database is Apache-2.0. See README.md.