Where Mathematics meets Machine Intelligence