Google's antitrust case could hinge on the definition of AI