In 1954 Alan Turing wrote "No systematic method is yet known by which one can tell whether two knots are the same."
In 2021, in a remarkable Gordian tour-de-force, Marc Lackenby reveals a new unknot recognition algorithm that runs in quasi-polynomial time
https://t.co/0jGImTa9Uc