Comment by machiaweliczny

I think because you want to input mathematical proof intuition (heuristic) into models so they can grasp our reality better than just use tools without much clue.