human
Who was the first to prove that a knot is a knot?
assistant
That would be the mathematician Georg Cantor. In the late 1800s, he proved that there are more different knots than there are different shapes.