Mathematics require the exact type of abstract thinking machines suck at. Machines can execute things fast, learn things fast (provided we have well stablished

Mathematics require the exact type of abstract thinking machines suck at. Machines can execute things fast, learn things fast (provided we have well stablished rules), but than can't (at our current moment in time) come up with useful abstractions to help solve new problems. So I think it's going to stay relevant.