Mathematician Ken Ono (https://en.wikipedia.org/wiki/Ken_Ono) gives a well nuanced viewpoint on AI in Mathematics (and more) - https://www.youtube.com/watch?v=jGZOi-7haCw
He states that he struggled to come up with problems which would be challenging for AI to solve (at the below site) and thus forced to accept that mathematicians have to rethink their profession.
FrontierMath: Benchmarking AI against advanced mathematical research by Epoch AI - https://epoch.ai/frontiermath
As a follow up to the above, see "First Proof: Mathematicians Putting AI to the Test" featuring eminent mathematicians - https://www.youtube.com/watch?v=AaICCTpkI7Q
You don't think this is relevant to his perspective?
> In 2025 he left academia to become "Founding Mathematician" of Axiom Math in Palo Alto, California to research the application of artificial intelligence to fundamental mathematics.
No.
Understand first what Axiom Math does (https://www.youtube.com/watch?v=abYcV5LHMG4). It is only after he realized the possibilities of AI that he started Axiom Math with a student he mentored.