There are programs with proofs that they work - but that does not make them reducible.

I double checked it with ChatGPT if anyone is interested in more details: https://chatgpt.com/s/t_6a6883385ab481919126c7b631000815