Computational Knowledge and the Future of Pure Mathematics (Stephen Wolfram) (blog.wolframalpha.com)

Interesting article - especially the idea of a continued oral tradition in pure mathematics when it comes to the why and what good is it as opposed to the rigorous styles used in the formal papers.

This type of system would seem to be necessary but not sufficient to achieve a technological singularity.