I don't know whether there is some kind of progress here but a new quantum-resistant public key algorithm could be created and added as a soft fork.