2人の数学者が、単純な質問「結び目をほどくのはどれくらい難しいか？」に対する答えが複雑であることを証明した。