The AI for Math Initiative brings together five of the world's most prestigious research institutions.