Khovanov showed, more than 20 years ago, that there is a deeper
theory underlying the Jones polynomial. The``knot categorification
problem” is to find a uniform description of this theory, for all
gauge groups, which originates from physics. I found...