Applications
The first application of Khovanov homology was provided by Jacob Rasmussen, who defined the s-invariant using Khovanov homology. This integer valued invariant of a knot gives a bound on the slice genus, and is sufficient to prove the Milnor conjecture.
In 2010, Kronheimer and Mrowka proved that the Khovanov homology detects the unknot. The categorified theory has more information than the non-categorified theory. Although the Khovanov homology detects the unknot, the Jones polynomial may not.
Read more about this topic: Khovanov Homology