“Harvey was started before the public launch of ChatGPT.”