Mathematicians contribute to AI benchmark  The University of Manchester