Embracing a New Era in Mathematics Knowledge Acquisition