2017年1月，人工智能程序Libratus 在1对1无限德扑比赛中成功战胜了4名顶级职业玩家，但人…