Two major developments are energizing STEM education and AI research: the launch of MathNet, the largest-ever database of Olympiad-level math problems, and record participation at the West Aerial ...