Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture

The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.