There's no mathematical proof for the correctness of graphic design, either, but that won't stop cheap AI-generated garbage from taking over the role of making commodity images and putting a lot of people out of work.
I'm curious about graphic design and if AI can do it to a passable standard. Generating fiction photographs, paintings, illustrations seems more flexible than constrained and balanced proper graphic design. I am sure AI can mash together templates and icons. Less sure about producing a solution to a client brief with a timely and timeless design.
I do freelance Graphic design. The whole conceptual thinking/visual communication aspect of it seems unlikely to be touched by these tools any time soon... But the commodity work that puts food on a lot of people's tables is likely toast. It's not like it will replace graphic designers, it just takes over the everyday jobs that drive most of the demand for their services and we all know what a drastically reduced demand does to a market.