Nemotron-IMO-Bench 2026 G15

Is there a set $S$ of $100$ points in a plane such that the gravity center of any $10$ points in $S$ belongs to $S$ ?

Dataset text Nemotron-IMO-Bench. Open licence.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.