Finiteness of arithmetic hyperbolic reflection groups
  We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups. 
Ian Agol, Mikhail Belolipetsky, Peter Storm, Kevin Whyte