Skip to content

Erdős problem 94

Suppose nn points in R2\mathbb{R}^2 determine a convex polygon and the set of distances between them is {u1,,ut}\{u_1,\ldots,u_t\}. Suppose uiu_i appears as the distance between f(ui)f(u_i) many pairs of points. Then if(ui)2n3.\sum_i f(u_i)^2 \ll n^3.

Workspace

Open this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.

Canvas

public preview
  1. Source#94
  2. Resultaccepted
  3. Checks2

Reported activity

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

  • Formalization

    Erdős AI contributions wiki · 15 Jan, 2026

    Machine
    Codex, GPT-5.2 Thinking, Seed Prover
    Open the source record

Search problems.science

Find a Problem, Result, source, or page