The original version of this story appeared in Quanta Magazine. Computer scientists often deal with abstract problems that are ...