Browse by category
Browse by source
- Erdős Problems 1223
- Wikipedia 465
- OEIS 96
- Written on the Wall II 95
- Papers 92
- Green's Open Problems 87
- arXiv 57
- MathOverflow 41
- Millennium Prize Problems 19
- Other 18
- Hilbert Problems 6
- Books 5
- OptimizationConstants 5
- Kourovka Notebook 2
Browse by subject
- Number theory 1405
- Combinatorics 624
- Convex and discrete geometry 76
- Algebraic geometry 56
- Field theory and polynomials 54
- Geometry 48
- Group theory and generalizations 43
- Special functions 41
- General topology 28
- Functions of a complex variable 27
- Quantum theory 26
- 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
- Linear and multilinear algebra; matrix theory 15
- Sequences, series, summability 14
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.