The initiative brings together some of the world’s most prestigious research institutions to pioneer the use of AI in mathematical research.