{"schema":"vela.problem-packet.v0.1","problem":1208,"statement":"For $d\\geq 2$ let $F_d(n)$ be minimal such that every set of $n$ points in $\\mathbb{R}^d$ contains a set of $F_d(n)$ points with distinct distances. Estimate $F_d(n)$ for fixed $d$ as $n\\to \\infty$.","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}