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).
There are 992 problems in total, of which
- 94 are attached to a monetary prize.
- 233 have been proved (with 2 of these proofs formalized in Lean).
- 79 have been disproved (with 1 of these disproofs formalized in Lean).
- 38 have been otherwise solved.
- 5 are open, but have been reduced to a finite computation. (decidable)
- 35 are open, but can be disproven by a finite computation if false. (falsifiable)
- 7 are open, but can be proven by a finite computation if true. (verifiable)
- 594 are completely open.
- 157 have their statements formalized in Lean in the Formal Conjectures Repository.
- 93 are known to be related to at least one OEIS sequence.
- 364 are potentially related to an OEIS sequence not already listed.