CHANGING MEDIUM. “This observation of the effects of phonetic writing supports the notion that mathematics will change in the age of information, i.e. the age of computers and the Internet. Mathematics is, in fact, changing as is reported in the Wikipedia article Computer-assisted proof.”
https://link.springer.com/chapter/10.1007/978-3-030-59177-9_13