Two major developments are energizing STEM education and AI research: the launch of MathNet, the largest-ever database of ...