Mathematics Supporting AI