erdős #657
Is it true that if is a set of points such that every subset of points determines distinct distances (i.e. has no isosceles triangles) then must determine at least distinct distances, for some ?
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
It is exactly **Erdős problem #657** [[nomath]](sometimes written in the notation $\phi(n,3,3)$)[[/nomath]], asking whether an $n$-point set in (\mathbb R^2) with **no isosceles triangles** must span **(\omega(n))** distinct distances [[nomath]](equivalently: at least $n,f(n)$ with $f(n)\to\infty$)[[/nomath]]. ([Erdős …
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