It turns out that (by a deep result of Magidor, published in 1977) GCH can first fail at ℵω (assuming the consistency of a supercompact cardinal). Silver's theorem shows that it cannot first fail at ℵω1 and this is provable in ZFC. 