No, AI does not mean the end of mathematics

A measured rebuttal: current models are nowhere near as capable as experienced mathematicians.