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 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
Source labels openWikipedia · Convex geometry

Moser's Worm

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

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

Erdős Problem 653

Let x1,,xnR2x_1,\ldots,x_n\in \mathbb{R}^2 and let R(xi)=#{xjxi:ji}R(x_i)=\#\{ \lvert x_j-x_i\rvert : j\neq i\}, where the points are ordered such that R(x1)R(xn).R(x_1)\leq \cdots \leq R(x_n). Let g(n)g(n) be the maximum number of distinct values the R(xi)R(x_i) can take. Is it true that g(n)(1o(1))ng(n) \geq (1-o(1))n?

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

Erdős Problem 655: General Position

Let x1,,xnR2x_1,\ldots,x_n\in \mathbb{R}^2 be such that no circle whose centre is one of the xix_i contains three other points. Are there at least(1+c)n2(1+c)\frac{n}{2} distinct distances determined between the xix_i, for some constant c>0c>0 and all nn sufficiently large?

In the spirit of related conjectures of Erdős and others, presumably some kind of assumption that the points are in general position (e.g. no three on a line and no four on a circle) was intended.

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

Ben Green's Open Problem 72

The no-k-in-line problem: For NkN \geq k and k>2k > 2, the AllowedSetSize is (k1)N(k - 1) N, i. e. on an N×NN \times N subset, there is a set of (k1)N(k - 1) N points for which no kk lie on a line (and not such a set of bigger size).

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

Ben Green's Open Problem 72

Green's Open Problem 72 / No-three-in-line problem*: The no-k-in-line conjecture holds for k=3k = 3.

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

Ben Green's Open Problem 72: Eventually

Does the no-three-in-line problem hold when NN is big enough?

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

Ben Green's Open Problem 77

Given nn points in the unit disc, must there be a triangle of area at most n2+o(1)n^{-2+o(1)} determined by them?

Source checked Jul 26, 20261 pinned Lean statementInspect problem