When math starts falling from the sky, generated by AI of course and proved with theorem provers, then everything will start falling from the sky. There will be a way to have more houses than anyone would ever need, for every person on the planet.