Here are some counter-examples that refute the claims of the paper:

https://math.stackexchange.com/questions/4893125/verify-a-re...

Old thread: https://news.ycombinator.com/item?id=39927010