I just want a robot butler. It doesn't have to prove mathematics theorems, just do my laundry and make lunch.

Me too but unfortunately theorem proving seems to be easier than doing laundry.