In joint work with Mohammad Golshani, and assuming the existence of a weakly compact cardinal, we build a forcing extension in which GCH holds and every \(\aleph_2\)-Aronszajn tree is special. This answers a well-known question from the 1970's. I will give the proof of this theorem, with as many details as possible.
Note: Recordings of this talk are available on YouTube.