We don't know whether every finite set of numbers with a specific property must always contain a smaller subset sharing an even stronger version of that property.
open
Global / Unspecified, Global
WS01322
Additive combinatorics explores these kinds of guaranteed substructure questions extensively, but many specific cases remain without a fully general proof. This continues to be an active and evolving research area.