There is no deep formal math in AI. It is a game of numbers.

All deep formal math is a boundary to a thing.