  We prove that Khovanov homology with coefficients in $\mathbb{Z}/2\mathbb{Z}$
detects the $(2,5)$ torus knot. Our proof makes use of a wide range of deep
tools in Floer homology, Khovanov homology, and Khovanov homotopy. We combine
these tools with classical results on the dynamics of surface homeomorphisms to
reduce the detection question to a problem about mutually braided unknots,
which we then solve with computer assistance.
