Abstract: The AFL is an identity between certain intersection numbers on moduli spaces of $p$-divisible groups and certain orbital integrals on $p$-adic groups. It has been conjectured by Wei Zhang in 2010. In my talk, I will first formulate the result and then sketch its recent proof in (almost) full generality. This is joint work with W. Zhang.