Rohan Paul on Selecting Math Problems for AI · Digg