ace mathematician