2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152827The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.Plain TeXCombinatoricsTheorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culturetext