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

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.