A surprisingly hard CS problem: sums of square roots

I recently learned a wonderfully mind-blowing computer science fact from Peter Schmidt-Nielsen:

saved by

• Cypress Williams