Nur ein kurzer Hinweis: T. Tao hat seine Clay-Mahler-Lectures online gestellt, darunter “Mathematical Research and the Internet”.

Es geht um die Rolle der technologischen Entwicklung für die mathematische Forschung.

i-1cba922700b5a22f80d86df838edad29-tao.png

Die Folien kann man hier anschauen:
https://terrytao.files.wordpress.com/2009/08/internet2.pdf

(Sehr lustig auch die Google-Suchanfrage von 1960.)

Das schwierige an Prognosen ist bekanntlich, daß sie die Zukunft betreffen, und natürlich gilt das auch für dieses Thema. (Die vielleicht interessanteste Frage, ob es in Zukunft möglich sein wird, die Korrektheit eines Beweises maschinell zu prüfen, wird übrigens nur am Rande erwähnt.)
Auf jeden Fall aber eine interessante Zusammenstellung.