AI hype is excessive, but its productivity gains are real