Christopher Zeeman tried for 7 years to prove that one cannot untie a knot on a 4-sphere. Then one day he decided to try to prove the opposite, and he succeeded in a few hours. pic.twitter.com/4t6iJ3zp9h

— Fermat's Library (@fermatslibrary) March 20, 2021