C cmu.edu CMU's Libratus builds substantial lead in Brains vs. AI competition 193 points nopinsight 9 years ago 117 comments