I want to sympathize, but most of the whining in the article seems like gatekeepers bemoaning their gates being blasted off the hinges.

Are there any mathematicians who are genuinely excited about this tremendous leap forward in mathematical knowledge? Where are those articles?