Browse by category
Browse by source
- Erdős Problems 1223
- Wikipedia 463
- Papers 111
- OEIS 96
- Green's Open Problems 95
- Written on the Wall II 95
- arXiv 57
- MathOverflow 41
- OpenQuantumProblems 35
- Millennium Prize Problems 19
- Other 18
- Hilbert Problems 13
- Books 5
- OptimizationConstants 5
- Kourovka Notebook 2
Browse by subject
- Number theory 1414
- Combinatorics 689
- Quantum theory 80
- Convex and discrete geometry 75
- Algebraic geometry 75
- Field theory and polynomials 54
- Linear and multilinear algebra; matrix theory 50
- Geometry 48
- Group theory and generalizations 42
- Special functions 41
- 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
- Associative rings and algebras 15
- 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.