Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 654
claims/: The 1 claim page of Problem 654, one per claimant's result; the problem's standing derives from them.
Statement. Let be such that, given any $x_1,\ldots,x_n\in \mathbb{R}^2$ with no four points on a circle, there exists some with at least many distinct distances to other . Estimate - in particular, is it true that
Or at least
for some , for all large ?
Status. Open, the site's label. The site's commentary credits Aletheia [Fe26] with disproving the strongest form, , by points on two lines with no four on a circle; the result is on Feng and coauthors' claim page, a claimed partial claim. Whether for some remains open, as does the version with no three points on a line.
Source. erdosproblems.com/654, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #654, https://www.erdosproblems.com/654.
References.
- [Er87b] Erdős, P., Some combinatorial and metric problems in geometry. Intuitive geometry (Siófok, 1985) (1987), 167-177.
- [Er97e] Erdős, Paul, Some of my favourite unsolved problems. Math. Japon. (1997), 527-537.
- [ErPa90] Erdős, P. and Pach, J., Variations on the theme of repeated distances. Combinatorica (1990), 261-269.
- [Fe26] T. Feng et al, Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems. arXiv:2601.22401 (2026).
Formalization. None recorded.
Progress
Not yet compiled.
Known Results
Not yet compiled.
Linked library material
These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.
- erdos_1987_combinatorial_metric_problems_geometry
- erdos_1987_combinatorial_metric_problems_geometry / conjecture_p168
- chojecki_2026_erdos_problem_655_natural_repairs_exact
- chojecki_2026_erdos_problem_655_natural_repairs_exact / lemma_2_1
- feng_2026_semi_autonomous_mathematics_discovery_gemini_case
- feng_2026_semi_autonomous_mathematics_discovery_gemini_case / theorem_3