Comment by ForHackernews
4 days ago
I just want a robot butler. It doesn't have to prove mathematics theorems, just do my laundry and make lunch.
4 days ago
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.
Hire a housekeeper for 2 hours a day.
I want a 24/7 robot butler. And I don't want any human strangers in my house, seeing my mess or seeing me naked.