This is inherently my whole problem with the "AI utopianists", who somehow think we'll all be happy once we're sitting around with no disease just eating bonbons all day or something.

I don't know about Gauss, but when I am given a more powerful tool, I use it to tackle harder problems, the kind that were out of reach before.

Call me when you run out of those sorts of problems. I'll propose some more.