Nice. By the year 2100 200 Erdos problems will have been solved by AI. Let's build more data centers.