1 problem

Kazhdan property conjecture. For $k\geqslant 4$, $\operatorname{Aut} F_k$ satisfies Kazhdan property $(T)$.