The dream was for all scientific literature to be open access, hyperlinked, and when possible, rigorously checked by software that could catch errors (e.g. proof assistants).
Instead, we get software that spews out faux-coherent garbage, adding errors, polluting the infosphere.