“In a 2015 competition, a precursor AI bot to Libratus lost to professional poker players by a sizable margin.”