-
Notifications
You must be signed in to change notification settings - Fork 420
OpenAug 14, 2026
No due date
•Last updated Formalise the main statement from all unsolved problems of
https://www.erdosproblems.com/
These tracks the unsolved problems with the status "open", "verifiable" and "falsifiable" and "decidable".
Note that for some formalisations of open problems in the repo, we haven't opened issues at all, hence the progress percentage will be an underestimate. The true number of open problems to be formalised can be found at https://github.com/teorth/erdosproblems and is currently 693.
54% complete
List view
0 of 315 selected 0 issues of 315 selected
Erdős Problem 878
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#997 In google-deepmind/formal-conjectures;Erdős Problem 1103
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1300 In google-deepmind/formal-conjectures;Erdős Problem 1035
erdos-problemsErdős ProblemsErdős Problemsgood first issueGood for newcomersGood for newcomersnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1086 In google-deepmind/formal-conjectures;Erdős Problem 1017
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1074 In google-deepmind/formal-conjectures;Erdős Problem 928
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1022 In google-deepmind/formal-conjectures;Erdős Problem 1086
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1286 In google-deepmind/formal-conjectures;Erdős Problem 1088
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1288 In google-deepmind/formal-conjectures;Erdős Problem 663
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#863 In google-deepmind/formal-conjectures;Erdős Problem 986
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1055 In google-deepmind/formal-conjectures;Erdős Problem 568
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#797 In google-deepmind/formal-conjectures;Erdős Problem 792
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#949 In google-deepmind/formal-conjectures;Erdős Problem 1087
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1287 In google-deepmind/formal-conjectures;Erdős Problem 620
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#834 In google-deepmind/formal-conjectures;Erdős Problem 627
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#839 In google-deepmind/formal-conjectures;Erdős Problem 1029
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1081 In google-deepmind/formal-conjectures;Erdős Problem 711
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#911 In google-deepmind/formal-conjectures;Erdős Problem 1091
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1290 In google-deepmind/formal-conjectures;Erdős Problem 810
erdos-problemsErdős ProblemsErdős Problemsgood first issueGood for newcomersGood for newcomersnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#955 In google-deepmind/formal-conjectures;Erdős Problem 725
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#916 In google-deepmind/formal-conjectures;Erdős Problem 603
ams-03: Mathematical logic and foundationsincluding model theory, computability theory, set theory, proof theory, and algebraic logicincluding model theory, computability theory, set theory, proof theory, and algebraic logicerdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#822 In google-deepmind/formal-conjectures;Erdős Problem 1100
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1297 In google-deepmind/formal-conjectures;Erdős Problem 714
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#913 In google-deepmind/formal-conjectures;Erdős Problem 521
ams-60: Probability theoryProbability theory and stochastic processesProbability theory and stochastic processeserdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#769 In google-deepmind/formal-conjectures;Erdős Problem 573
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#802 In google-deepmind/formal-conjectures;Erdős Problem 901
erdos-problemsErdős ProblemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#1011 In google-deepmind/formal-conjectures;