Browse by category
Browse by source
- Erdős Problems 608 files with 1962 statements
- Wikipedia 136 files with 597 statements
- OEIS 62 files with 411 statements
- Green's Open Problems 51 files with 231 statements
- Papers 28 files with 168 statements
- Written on the Wall II 49 files with 146 statements
- arXiv 27 files with 126 statements
- OpenQuantumProblems 3 files with 125 statements
- MathOverflow 13 files with 64 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
- LittProblems 1 files with 4 statements
- Kourovka Notebook 2 files with 2 statements
Browse by subject
- Number theory 2314 statements
- Combinatorics 1348 statements
- Quantum theory 173 statements
- Convex and discrete geometry 169 statements
- Linear and multilinear algebra; matrix theory 147 statements
- Information and communication, circuits 106 statements
- Algebraic geometry 86 statements
- Geometry 86 statements
- Functions of a complex variable 77 statements
- Group theory and generalizations 66 statements
- Field theory and polynomials 61 statements
- Mathematical logic and foundations 51 statements
- Operator theory 43 statements
- Special functions 41 statements
- Harmonic analysis on Euclidean spaces 39 statements
- General topology 38 statements
- Measure and integration 38 statements
- Real functions 34 statements
- Sequences, series, summability 31 statements
- Computer science 31 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.