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 1120 problems in total, of which
- 99 are attached to a monetary prize.
- 274 have been proved.
- 101 have been disproved.
- 57 have been otherwise solved.
- 4 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)
- 0 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)
- 637 appear to be completely open.
- 4 have ambiguous statements.
- 1 have a literature review requested.
- 274 have their statements formalized in Lean in the Formal Conjectures Repository.
- 271 have been linked to 330 distinct OEIS sequences, with a total of 393 links created.
- 48 of these OEIS sequences were added since the creation of this database (A387000 onwards).
- 306 are potentially related to an OEIS sequence not already listed.
- 269 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.