Arguably the whole concept of "parsing cards" is AI. As are AutoTap and the system that navigates a player to the end of their turn if they run out of time (AutoResponder). And additionally we have a system called RoboQA that nightly plays hundreds of thousands of games against itself looking for ways to crash the game (it's the world's most experienced MTG player!).
After all, AI is a pretty wide term - it's "an artificial system that does stuff that are associated with intelligence". Still, all of our systems are as deterministic as possible - we don't leverage big data or probability distributions or randomization as a matter of course. Well, RoboQA does. #wotc_staff