Teaching AI advanced mathematical reasoning

I had figured that ML would make one of the biggest splashes in maths, being that the field is applied pattern finding.