Kai-Fu Lee stopped building AI models and started selling enterprise data infrastructure. Now 01.ai is heading for a Hong Kong IPO. — Blankdot