Browse by category
Browse by source
- Erdős Problems 1240
- Wikipedia 471
- Green's Open Problems 147
- Papers 126
- OEIS 105
- Written on the Wall II 95
- OpenQuantumProblems 64
- arXiv 57
- MathOverflow 53
- Millennium Prize Problems 19
- Other 18
- Hilbert Problems 13
- Books 6
- OptimizationConstants 5
- Kourovka Notebook 2
Browse by subject
- Number theory 1496
- Combinatorics 772
- Quantum theory 118
- Algebraic geometry 84
- Linear and multilinear algebra; matrix theory 79
- Convex and discrete geometry 75
- Geometry 56
- Field theory and polynomials 54
- Group theory and generalizations 42
- Special functions 41
- Operator theory 35
- Information and communication, circuits 35
- General topology 28
- Functions of a complex variable 27
- Real functions 24
- Computer science 22
- Mathematical logic and foundations 21
- Measure and integration 18
- Order, lattices, ordered algebraic structures 16
- Dynamical systems and ergodic theory 15
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.