Browse by category
Browse by source
- Erdős Problems 609 files with 1966 statements
- OEIS 129 files with 854 statements
- Wikipedia 137 files with 600 statements
- Green's Open Problems 53 files with 237 statements
- Papers 28 files with 172 statements
- Written on the Wall II 49 files with 146 statements
- arXiv 29 files with 136 statements
- OpenQuantumProblems 3 files with 125 statements
- MathOverflow 13 files with 64 statements
- Books 9 files with 31 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
- Kourovka Notebook 4 files with 4 statements
- LittProblems 1 files with 4 statements
Browse by subject
- Number theory 2768 statements
- Combinatorics 1368 statements
- Convex and discrete geometry 173 statements
- Quantum theory 173 statements
- Linear and multilinear algebra; matrix theory 147 statements
- Information and communication, circuits 110 statements
- Geometry 90 statements
- Algebraic geometry 86 statements
- Functions of a complex variable 77 statements
- Group theory and generalizations 69 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
- Computer science 31 statements
- Sequences, series, summability 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.