Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

37 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Convex geometry

Erdős Problem 100

Is the diameter of AA at least CnCn for some constant C>0C > 0?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Measure and integration

Green's Open Problem 85

Suppose that AA is an open subset of [0,1]2[0, 1]^2 with measure α\alpha. Are there four points in AA determining an axis-parallel rectangle with area >cα2\gt c \alpha^2?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Functional analysis

Ben Green's Open Problem 54

Let KRnK \subset \mathbb{R}^n be a balanced compact set (that is, λKK\lambda K \subseteq K whenever λ1|\lambda| \leq 1) and suppose that the normalised Gaussian measure γn(K)0.99\gamma_n(K) \geq 0.99. Does 10K10K contain a compact convex set CC with γn(C)0.01\gamma_n(C) \geq 0.01?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 100: Strong

Stronger conjecture: diameter n1\geq n - 1 for sufficiently large nn.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 101

Given nn points in R2\mathbb{R}^2, no five of which are on a line, the number of lines containing four points is o(n2)o(n^2).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 107

Let f(n)f(n) be minimal such that any f(n)f(n) points in R2ℝ^2, no three on a line, contain nn points which form the vertices of a convex nn-gon. Prove that f(n)=2n2+1f(n) = 2^{n-2} + 1.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 1084: Triangular Optimal D2

Erdős conjectured that the triangular lattice is best possible in 2D, in particular that f2(3n2+3n+1)<9n2+3nf_2(3n^2 + 3n + 1) < 9n^2 + 3n.

Note: in [Er75f] is read 9n2+6n9n^2 + 6n, but this seems to be a typo.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 1085: Upper D3

Is the n4/3loglognn^{4/3}\log\log n lower bound in 3D also an upper bound?.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Geometry

Ben Green's Open Problem 41

How many rotated (about the origin) copies of the 'pyjama set' (x,y)R2:dist(x,Z)ε\\{(x, y) \in \mathbb{R}^2 : \text{dist}(x, \mathbb{Z}) \leq \varepsilon\\} are needed to cover R2\mathbb{R}^2?

In particular, can one find a better bound than the best-known bound from [KrLe25]?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 212

Is there a dense subset of ℝ^2 such that all pairwise distances are rational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Geometry

Ben Green's Open Problem 41: Exists Better Bound

Is there a better bound than the best-known bound from [KrLe25]? This is an existential version of the main problem that does not require providing the bound explicitly.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 213

Let n4n \geq 4. Are there nn points in R2\mathbb{R}^2, no three on a line and no four on a circle, such that all pairwise distances are integers?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 508

The Hadwiger–Nelson problem asks: How many colors are required to color the plane such that no two points at distance 1 from each other have the same color?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Geometry

Green's Open Problem 42

Can the Cohn-Elkies scheme be used to prove the optimal bound for circle-packings in 2 dimensions?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 89

Erdős [Er46] asked whether every set of nn distinct points in R2\mathbb{R}^2 determines nlogn\gg \frac{n}{\sqrt{\log n}} many distinct distances.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 91

Suppose AR2A\subset \mathbb{R}^2 has A=n\lvert A\rvert=n and minimises the number of distinct distances between points in AA. Prove that for large nn there are at least two (and probably many) such AA which are non-similar.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 92: Weak

Is it true that f(n)no(1)f(n)\leq n^{o(1)}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 92: Strong

Or even f(n)<nc/loglognf(n) < n^{c/\log\log n} for some constant c>0c > 0?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Field theory and polynomials

Sendov's conjecture

Sendov's conjecture* states that for a polynomial f(z)=(zr1)(zrn),(n2)f(z)=(z-r_{1})\cdots (z-r_{n}),\qquad (n\geq 2) with all roots r1,...,rnr_1, ..., r_n inside the closed unit disk z1|z| ≤ 1, each of the nn roots is at a distance no more than 11 from at least one critical point.

Source checked Jul 26, 20261 pinned Lean statementInspect problem