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

21 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 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 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 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 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 openErdős Problems · Convex geometry

Erdős Problem 96

If nn points in R2\mathbb{R}^2 form a convex polygon then there are O(n)O(n) many pairs which are distance 11 apart.

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

Erdős Problem 97

Does every convex polygon have a vertex with no other 4 vertices equidistant from it?

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

Erdős Problem 97: K Equidistant

Erdős also conjectured that there is a kk for which every convex polygon has a vertex with no other kk vertices equidistant from it.

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

Erdős Problem 98

Let h(n)h(n) be such that any nn points in R2\mathbb{R}^2, with no three on a line and no four on a circle, determine at least h(n)h(n) distinct distances. Does h(n)/nh(n)/n\to \infty?

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

Erdős Problem 982

If nn distinct points in R2\mathbb{R}^2 form a convex polygon then some vertex has at least n2\lfloor\frac{n}{2}\rfloor different distances to other vertices.

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

Erdős Problem 99

For sufficiently large n, is it the case that any set of n points with minimum distance 11 that minimizes diameter must contain an equilateral triangle of side length 1?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Convex geometry

Moser's Worm

Moser's Worm Problem* What is the minimal area (or greatest lower bound on the area) of a shape that can cover every unit-length curve?

Source checked Jul 26, 20261 pinned Lean statementInspect problem