Doesn't this assume that humans stop trying to understand problems and AI-provided solutions? Yes, the field is going to change and will require certain rethinking of mathematicians' motivation, but what stops humans from keeping to work on problems they want to solve and understand? The fun from math comes not from solving cancer, but from understanding something new with every approach you take