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.
All topics

19 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Geometry

Erdős Problem 1082: I

Let AR2A\subset \mathbb{R}^2 be a set of nn points with no three on a line. Does AA determine at least n/2\lfloor n/2\rfloor distinct distances?

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

Erdős Problem 352

Is there some c>0c > 0 such that every measurable AR2A \subseteq \mathbb{R}^2 of measure c\geq c contains the vertices of a triangle of area 1?

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

Erdős Problem 503

What is the size of the largest ARnA \subseteq \mathbb{R}^n such that every three points from AA determine an isosceles triangle? That is, for any three points xx, yy, zz from AA, at least two of the distances xy|x - y|, yz|y - z|, xz|x - z| are equal.

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

Erdős Problem 507: Equivalent

Let α(n)\alpha(n) be such that every set of nn points in the unit disk contains three points which determine a triangle of area at most α(n)\alpha(n). Estimate α(n)\alpha(n).

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

Erdős Problem 507: Lower

Estimate a lower bound forα(n)\alpha(n).

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

Erdős Problem 507: Upper

Estimate an upper bound forα(n)\alpha(n).

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 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 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 openMathOverflow · Geometry

Mathoverflow 34145

Can a unit square be covered by rectangles of width 1 / (n + 1) and height 1 / (n + 2)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openMathOverflow · Geometry

Mathoverflow 34145

Equivalently, can a unit square be packed with rectangles of width 1 / (n + 1) and height 1 / (n + 2)?

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

Inscribed square problem

Inscribed square problem* Does every Jordan curve admit an inscribed square?

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

Inscribed square problem

Inscribed rectangle problem* Does every Jordan curve admit inscribed rectangles of any given aspect ratio?

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

Packing

What is the smallest square that can contain 11 unit squares?

Reference: Wikipedia

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

Packing

What is the smallest square that can contain 17 unit squares?

Reference: Wikipedia

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

Packing

What is the smallest circle that can contain 3 unit squares?

Reference: Wikipedia

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

Packing

What is the smallest square that can contain 21 unit circles?

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

Packing

What is the smallest circle that can contain 15 unit circles?

Reference: Graham RL, Lubachevsky BD, Nurmela KJ, Ostergard PRJ. Dense packings of congruent circles in a circle. Discrete Math 1998;181:139–154.

Source checked Jul 26, 20261 pinned Lean statementInspect problem