Browse by category
Browse by source
- Erdős Problems 496 files with 1627 statements
- Wikipedia 124 files with 545 statements
- Green's Open Problems 48 files with 216 statements
- Papers 25 files with 157 statements
- Written on the Wall II 47 files with 131 statements
- OpenQuantumProblems 3 files with 125 statements
- OEIS 21 files with 105 statements
- MathOverflow 12 files with 62 statements
- arXiv 14 files with 62 statements
- Books 8 files with 27 statements
- Millennium Prize Problems 4 files with 26 statements
- Other 5 files with 22 statements
- Hilbert Problems 2 files with 13 statements
- OptimizationConstants 1 files with 5 statements
- Util 1 files with 5 statements
- LittProblems 1 files with 4 statements
- Kourovka Notebook 2 files with 2 statements
Browse by subject
- Number theory 1773 statements
- Combinatorics 1128 statements
- Quantum theory 173 statements
- Linear and multilinear algebra; matrix theory 141 statements
- Convex and discrete geometry 121 statements
- Information and communication, circuits 106 statements
- Algebraic geometry 81 statements
- Geometry 65 statements
- Field theory and polynomials 55 statements
- Functions of a complex variable 48 statements
- Group theory and generalizations 46 statements
- Mathematical logic and foundations 46 statements
- Operator theory 43 statements
- Special functions 41 statements
- General topology 36 statements
- Real functions 33 statements
- Measure and integration 33 statements
- Sequences, series, summability 29 statements
- Harmonic analysis on Euclidean spaces 29 statements
- Computer science 25 statements
What is this?
While there is a growing corpus of formalised theorems including proofs, there is a lack of open conjectures where only the statement has been formalised. This repository collects such statements from diverse sources — ErdÅ‘s’s problem lists, Wikipedia, MathOverflow, the OEIS, research papers, and more.
The project aims to become a benchmark for automated theorem provers, help clarify conjectures through formalisation, and highlight gaps in Mathlib.