Erdős problem 507 · problems.science

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/507.lean

Formal Conjectures

FormalConjectures/ErdosProblems/507.leanErdos507.erdos_507.equivalent1 lineExact file

1Asymptotics.IsEquivalent Filter.atTop Erdos507.α sorry

OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

AI building on literature
Erdős AI contributions wiki · 3 Nov, 2025
Machine
AlphaEvolve
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Reported activity

Continue

Search problems.science