Will AI Kill Mathematics and so Theoretical Physics?

Field Mathematics Medalist Hugo Dominil-Copin asks if AI will kill mathematics:

The only way forward seems to be Resistance, but will it work? The mathematics Hugo is speaking about is so called pure mathematics performed in symbolic form on the black board with chalk, or pen and paper at the desk, then published in math journals as articles filled with symbols. Numerical/computational  mathematics fills formulas with concrete meaning in terms of numbers. The threat to life posed by AI is against pure/symbolic mathematics where LLM has shown to be a formidable player with symbols. 

Theoretical physics is based on symbolic mathematics in the form of equations in symbolic form, which can be given concrete meaning in terms of numbers and images depicting physics, if the equations are computable, that is solutions can be computed with available computational work. 

Fact is that the basic mathematical models of physics such as Quantum Mechanics, Quantum Field Theory, Quantum ChromoDynamics and String Theory, are based on equations which are not computable and so their study is limited to symbolic manipulation where even AI meets severe difficulties because possibilities are very limited. 

Theoretical physics thus meets another threat of being inaccessible to AI even to ASI, and so in particular to humanity. What theoretical physics needs are computable models, which is not a hopeless case since real physics must be some form of analog computational process in principle possible to mimic in digital computation.