Browse the interactive table - Sort, filter, and search all the problems in the database
A community database for the problems on the erdosproblems.com site. We are particularly seeking community contributions regarding the integer sequences associated with these problems, and linking them to the OEIS.
The table below is auto-generated from the YAML file data/problems.yaml, which is the "ground truth" for this data as far as this repository is concerned.
- To propose changes, open a PR editing data/problems.yaml.
- See CONTRIBUTING.md for guidelines and field definitions.
For further discussion of this project, see this blog post (from Sep 1, 2025).
Several of the problems have received assistance from various AI tools. A list of such assistance can be found here.
There are 1128 problems in total, of which
- 101 are attached to a monetary prize.
- 278 have been proved.
- 102 have been disproved.
- 57 have been otherwise solved.
- 5 appear to be open, but cannot be proven from the axioms of ZFC. (not provable)
- 0 appear to be open, but cannot be disproven from the axioms of ZFC. (not disprovable)
- 1 are known to be independent of the ZFC axioms of mathematics. (independent)
- 8 appear to be open, but have been reduced to a finite computation. (decidable)
- 31 appear to be open, but can be disproven by a finite computation if false. (falsifiable)
- 8 appear to be open, but can be proven by a finite computation if true. (verifiable)
- 638 appear to be completely open.
- 4 have ambiguous statements.
- 1 have a literature review requested.
- 281 have their statements formalized in Lean in the Formal Conjectures Repository.
- 273 have been linked to 332 distinct OEIS sequences, with a total of 395 links created.
- 50 of these OEIS sequences were added since the creation of this database (A387000 onwards).
- 304 are potentially related to an OEIS sequence not already listed.
- 267 of these problems are not currently linked to any existing OEIS sequence.
- 0 have a related sequence currently being submitted to the OEIS.
- 2 have a related sequence whose generation is currently in progress.