We're Gonna Need More Mathematicians

He is right. We will need more expert verifiers, thanks to the eventual Jevon's Paradox.

Or... use better calculators: https://nonconfirmed.com/mathsolver-n/