Browse by category
Browse by source
- Erdős Problems 1380
- Wikipedia 509
- Green's Open Problems 195
- Papers 142
- OpenQuantumProblems 125
- Written on the Wall II 110
- OEIS 105
- arXiv 62
- MathOverflow 61
- Millennium Prize Problems 26
- Other 22
- Books 15
- Hilbert Problems 13
- Util 5
- OptimizationConstants 5
- LittProblems 4
- Kourovka Notebook 2
Browse by subject
- Number theory 1591
- Combinatorics 988
- Quantum theory 174
- Linear and multilinear algebra; matrix theory 141
- Information and communication, circuits 106
- Convex and discrete geometry 105
- Algebraic geometry 82
- Geometry 61
- Field theory and polynomials 55
- Operator theory 43
- Functions of a complex variable 42
- Special functions 41
- Group theory and generalizations 40
- General topology 35
- Measure and integration 32
- Mathematical logic and foundations 29
- Real functions 29
- Probability theory and stochastic processes 23
- Computer science 23
- Dynamical systems and ergodic theory 22
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.