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.
That pretty much entirely negates any speed gains.