“Harvey is moving some of its traffic to open-source models because serving the largest closed frontier models has become too expensive.”