The whole situation in mathematics reminds me of two years ago when models started coding well and all the developers were really sad. Now we use it as a tool and, as a whole, are able to make much more.