mathematics · number theory and combinatorics
A collection of open-labeled problems associated with Paul Erdős, used in several large AI proof-search campaigns.
Campaign-level records remain attached to this collection until the archive has enough evidence to create child records for identifiable individual problems.
Open reference source ↗Attempt ledger
A complete attempt outcome does not automatically change the editorial status of the underlying problem.
A batch campaign narrowed 700 problems to 200 graded candidate outputs; 63 were technically correct but only 13 were judged meaningfully correct, while 137 were fundamentally flawed.
A Lean-guided campaign reported nine Erdős results and 44 OEIS conjecture proofs, while also documenting failure modes such as restating the hard step behind a new unproved lemma.