OP-9983CombinatoricsStatus unassessed
Dedekind Numbers
Dedekind Numbers
Formal Conjectures· Specialist source · status unassessed
The index
Explore the frontier
12,151 entries. Sorted by recently added.
OP-9982Number theoryStatus unassessed
Congruent Number
Congruent Number
Formal Conjectures· Specialist source · status unassessed
OP-9981Number theoryStatus unassessed
Class number problem for real quadratic fields
Class number problem for real quadratic fields
Formal Conjectures· Specialist source · status unassessed
OP-9980Computational complexityStatus unassessed
Černý Conjecture
Černý Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9979Number theoryStatus unassessed
Catalan's conjecture and related Diophantine equations
Catalan's conjecture and related Diophantine equations
Formal Conjectures· Specialist source · status unassessed
OP-9978Logic and foundationsStatus unassessed
Busy Beaver
Busy Beaver
Formal Conjectures· Specialist source · status unassessed
OP-9977Number theoryStatus unassessed
Brocard's Conjecture
Brocard's Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9976AnalysisStatus unassessed
Brennan's Conjecture
Brennan's Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9975AlgebraStatus unassessed
Bounded Burnside problem
Bounded Burnside problem
Formal Conjectures· Specialist source · status unassessed
OP-9974AnalysisStatus unassessed
Bloch and Landau constants
Bloch and Landau constants
Formal Conjectures· Specialist source · status unassessed
OP-9973Geometry and topologyStatus unassessed
The Bing-Borsuk Conjecture
The Bing-Borsuk Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9972Number theoryStatus unassessed
Betrothed numbers
Betrothed numbers
Formal Conjectures· Specialist source · status unassessed
OP-9971CombinatoricsStatus unassessed
Beck–Fiala theorem and conjecture
Beck–Fiala theorem and conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9970Number theoryStatus unassessed
Bateman-Horn Conjecture
Bateman-Horn Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9969Number theoryStatus unassessed
Balanced prime conjecture
Balanced prime conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9968Number theoryStatus unassessed
Artin's conjecture on primitive roots
Artin's conjecture on primitive roots
Formal Conjectures· Specialist source · status unassessed
OP-9967Number theoryStatus unassessed
Andrica's conjecture
Andrica's conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9966AlgebraStatus unassessed
The Andrews-Curtis conjecture
The Andrews-Curtis conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9965Number theoryStatus unassessed
Amicable numbers
Amicable numbers
Formal Conjectures· Specialist source · status unassessed
OP-9964Number theoryStatus unassessed
Non-Power-of-2 Almost Perfect Numbers Conjecture
Non-Power-of-2 Almost Perfect Numbers Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9963Number theoryStatus unassessed
Normality of Irrational Algebraic Numbers
Normality of Irrational Algebraic Numbers
Formal Conjectures· Specialist source · status unassessed
OP-9962Number theoryStatus unassessed
Agrawal's conjecture
Agrawal's conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9961Number theoryStatus unassessed
Agoh-Giuga conjecture
Agoh-Giuga conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9960Number theoryStatus unassessed
*abc* conjecture
abc conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9959Geometry and topologyStatus unassessed
Conjectures about Weakly First Countable spaces
Conjectures about Weakly First Countable spaces
Formal Conjectures· Specialist source · status unassessed
Frequent tags
theoremdb 3909historical workshop 3469aim 3469icm 2898source curated 2675source candidate 1231number theory 1007status unassessed 622specialist collection 522pde dyn 399geometry 336analysis 269algebraic geometry 257algebra 224verifiable 2026 223probability 221graph theory 200topology 199lie rep 180combinatorics 154combinatorics discrete mathematics 141mathematical physics mechanics 137numerical analysis computer science 131research 2026 126