The problem
What is the size of the largest such that every three points from determine an isosceles triangle? That is, for any three points from , at least two of the distances are equal.
Statement quoted from erdosproblems.com/503, maintained by Thomas Bloom. Original source: [ErKe47][Er61,p.244]. Current status there: open.
AI contributions
As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.
| Date | Kind | AI systems | Humans | Outcome |
|---|---|---|---|---|
| 22 Apr, 2026 | AI working with humans | Aristotle, GPT-5.4 Pro | Przemek Chojecki | 🔴 Argument with major gaps made |
| 27-28 May, 2026 | AI working with humans | GPT-5.5 Pro | Przemek Chojecki, Junnosuke Koizumi, RealBelgian | 🟡 Partial result |
Caveats
The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.
∎