JMO 1997 Problem 1
Take 10 points inside the circle with diameter 5. Prove that for any these 10 points there exist two points whose distance is less than 2.
Dataset text AoPS wiki problems. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.