Erdős Problem a Daythe open tracker
The board · as of Oct 21, 2026

All 1,221 Erdős problems, by status.

Regenerated from the community database (Apache-2.0), dated, and linked back to it from every problem. erdosproblems.com no longer shows statuses (Bloom's reasons); this is the database's record, not our verdict.

633open 40computable 336proved 139disproved 101solved otherwise 318checked in Lean

908 of 1221 statements are formalized in Lean (Formal Conjectures) · 107 carry an Erdős prize · 3 are independent of ZFC and 9 more can't be proved, or can't be disproved, from ZFC alone · “open” counts the computable and Lean-checked ones too.

Find problems

tag “distribution” · 1 problem✕ clear

By topic

number theory576graph theory277ramsey theory122geometry108additive combinatorics103analysis81primes62chromatic number61distances55unit fractions49combinatorics47set theory38sidon sets34divisors33hypergraphs32additive basis31arithmetic progressions29polynomials26cycles24irrationality23turan number23binomial coefficients22covering systems22factorials21discrepancy16powerful16probability14convex12complete sequences10iterated functions10primitive sets9group theory8diophantine approximation7base representations5intersecting family5powers4squares4planar graphs3topology2algebra1distribution1irrational1ramsey1

Recently changed in the database

Source: teorth/erdosproblems (its own interactive table), Apache-2.0, pulled 2026-10-21. A status here is what that database records, not an independent verification by us, except where a problem page says so.