Mathematicians contribute to AI benchmark The University of Manchester