Currently these high profile math proofs focus on disproving and other proofs where the solution can be automatically verified.

I suspect that we will reach a point where there are lots of AI proofs that cannot be verified in an automated way. At that point there will be lots of bachelorthesises and promotions be written where the hard part is following what the AI wrote.

That's my guess at least. Can't see into the future either.