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.
alt Hacker News
Me too but unfortunately theorem proving seems to be easier than doing laundry.