erdős #1088
Let be the minimal such that any set of points in contains a set of points such that any two determined distances are distinct. Estimate . In particular, is it true that, for fixed ,
Worked, still open.
geometry · open · possible · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Write (f_d(n)) for the least $m$ such that **every** $m$-point set (P\subset \mathbb R^d) contains an $n$-point subset (Q\subset P) with **all** (\binom n2) pairwise distances in $Q$ distinct [[nomath]](a “no–repeated-distance” $n$-set)[[/nomath]]. This is exactly the parameter Erdős denoted $J(n;d)$. ([Springer][1])
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗links
Create a formalisation here · link
status
open