Google introducing A.I. tools to Gmail and Docs as part of larger push