OP-9758Number theoryStatus unassessed
Mathoverflow 75792
Mathoverflow 75792
Formal Conjectures· Specialist source · status unassessed
The index
Explore the frontier
12,151 entries. Sorted by recently added.
OP-9757Number theoryStatus unassessed
Are prime numbers among sums of prime numbers distributed as ?
Are prime numbers among sums of prime numbers distributed as frac n 2 ln(n) ?
Formal Conjectures· Specialist source · status unassessed
OP-9756AnalysisStatus unassessed
Mathoverflow 347178
Mathoverflow 347178
Formal Conjectures· Specialist source · status unassessed
OP-9755Geometry and topologyStatus unassessed
Mathoverflow 34145
Mathoverflow 34145
Formal Conjectures· Specialist source · status unassessed
OP-9754Mathematics · generalStatus unassessed
Mathoverflow 339137
Mathoverflow 339137
Formal Conjectures· Specialist source · status unassessed
OP-9753Mathematics · generalStatus unassessed
Mathoverflow 31809
Mathoverflow 31809
Formal Conjectures· Specialist source · status unassessed
OP-9752AnalysisStatus unassessed
Mathoverflow 235893
Mathoverflow 235893
Formal Conjectures· Specialist source · status unassessed
OP-9751Mathematics · generalStatus unassessed
Mathoverflow 21003
Mathoverflow 21003
Formal Conjectures· Specialist source · status unassessed
OP-9750Number theoryStatus unassessed
17560
17560
Formal Conjectures· Specialist source · status unassessed
OP-9749Number theoryStatus unassessed
Lam--Litt conjecture
Lam--Litt conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9748AlgebraStatus unassessed
Conjecture 20.76
Conjecture 20.76
Formal Conjectures· Specialist source · status unassessed
OP-9747AlgebraStatus unassessed
Conjecture 1.74 (Tarski monster topologizability)
Conjecture 1.74 (Tarski monster topologizability)
Formal Conjectures· Specialist source · status unassessed
OP-9746AlgebraStatus unassessed
Conjecture 1.40
Conjecture 1.40
Formal Conjectures· Specialist source · status unassessed
OP-9745AlgebraStatus unassessed
Conjecture 1.35(c)
Conjecture 1.35(c)
Formal Conjectures· Specialist source · status unassessed
OP-9744AlgebraStatus unassessed
Conjecture 19.25
Conjecture 19.25
Formal Conjectures· Specialist source · status unassessed
OP-9743Mathematics · generalStatus unassessed
Hilbert's Fifth Problem and the Hilbert–Smith Conjecture
Hilbert's Fifth Problem and the Hilbert–Smith Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9742AnalysisStatus unassessed
Ben Green's Open Problem 94
Ben Green's Open Problem 94
Formal Conjectures· Specialist source · status unassessed
OP-9741CombinatoricsStatus unassessed
Green's Open Problem 9
Green's Open Problem 9
Formal Conjectures· Specialist source · status unassessed
OP-9740AnalysisStatus unassessed
Green's Open Problem 85
Green's Open Problem 85
Formal Conjectures· Specialist source · status unassessed
OP-9739Number theoryStatus unassessed
Ben Green's Open Problem 82
Ben Green's Open Problem 82
Formal Conjectures· Specialist source · status unassessed
OP-9738CombinatoricsStatus unassessed
Ben Green's Open Problem 77
Ben Green's Open Problem 77
Formal Conjectures· Specialist source · status unassessed
OP-9737CombinatoricsStatus unassessed
Ben Green's Open Problem 72
Ben Green's Open Problem 72
Formal Conjectures· Specialist source · status unassessed
OP-9736Number theoryStatus unassessed
Ben Green's Open Problem 7
Ben Green's Open Problem 7
Formal Conjectures· Specialist source · status unassessed
OP-9735Number theoryStatus unassessed
Ben Green's Open Problem 66
Ben Green's Open Problem 66
Formal Conjectures· Specialist source · status unassessed
OP-9734Number theoryStatus unassessed
Green's Open Problem 64
Green's Open Problem 64
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