Borel's Conjecture
open
Every strong measure zero set of reals is countable. Independent of ZFC like the continuum hypothesis: consistent (Laver 1976), refuted under CH (Sierpiński 1928).