For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R4. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.
