I like this metaphor better: the mathematics community is like a group of ancient astronomers that are unexpectedly getting the output from a modern telescope. "Why even look at the sky anymore," some say. "And we don't even own the telescope!"

Meanwhile, the Rubin observatory is creating an archive that grows by 20 terabytes each night, and nobody really worries about this. Dealing with that amount of data is definitely a problem, but also a nice problem to have, provided that there's a scientific community that can deal with it. Mathematics has unexpectedly become Big Science and there needs to be a better relationship between the funders of the scientific instruments and the scientists themselves.

It's a bit confusing that the output from the scientific instrument looks like badly-written academic papers. Maybe it should be treated more like raw data? The format is not ideal, but historians (for example) often have to deal with far worse.