Comment Comment by skybrian For me a big open question is what sort of progress will we see in robotics. I won't even attempt to speculate, but it does seem hard in different ways than proving math theorems. parent skybrian 25 days ago