I will present the proof that $Aut(F_n)$, the automorphism group of the
free group $F_n$ on $n$ generators, has Kazhdan's property (T) for $n$ at
least 6. This is joint work with Marek Kaluba and Dawid Kielak
The case $n=5$ was settled earlier in joint work with Marek Kaluba and
Taka Ozawa (https://arxiv.org/abs/1712.07167).