Another problem is these Post Quantum algorithms aren't really vetted in the sense like AES encryption is or say Elliptic Curve is. They dont have decades of trying to crack them so they might even be vulnerable to a normal computer to say nothing of a Quantum Computer. Bitcoin might be better off sticking to what it has than going with a shiny new object that ends up being cracked by a pentium 4 laptop running for a weekend or two.

There's nothing magic about post quantum crypto it's still a game of cat and mouse. No one can prove anything... As long as they keep trying to rely on complexity, they're in trouble. Complexity should be in quotation marks that is.