It's nice that they showed this for the problem of finding the ground state of a Hamiltonian, but we already knew the axioms of quantum computing encode undecid

It's nice that they showed this for the problem of finding the ground state of a Hamiltonian, but we already knew the axioms of quantum computing encode undecidable problems because it includes all of classical computing.