Math started being impacted by AI a year ago. In approximately two years, almost all mathematical results will be formalized in Lean and indexed. Mathematics will finally have a proper knowledge base that people (and AI) can search. Combined with insanely high-IQ AI, a huge number of significant open problems in mathematics will be solved by AI, in a few hours. The role of mathematicians, at least during that period, will be to understand, simplify, interpret, and explain the results to other humans. They'll be the interpreters, the translators, of what a new kind of intelligence vastly superior to us (at least on some highly intellectual tasks) will discover. This is going to be insane, the largest revolution in mathematics since the foundational crisis of the 20th century, for instance when Gödel's incompleteness theorems shattered the dream of a complete, self-contained formal foundation for mathematics. I personally think this will be a much more profound revolution, because it's also an identity crisis for the mathematical community and some mathematicians. Their job in a few years will not be what they imagined at all. I feel their pain, but the advancement of AI is inevitable (all players have incentives to accelerate it). The only alternatives they face are to adapt or to find another job (they can all easily do something else, so I'm not worried about them). You would never hire a swe who never uses AI in 2026. Society will not accept paying mathematicians who refuse to use AI in 2029 simply because they prefer the good old way of doing mathematics...