The digital ad king has quietly incorporated artificial intelligence into search, with impressive results.