Mathematicist Genesis
I'm a huge fan of discrete maths; I know your proof by heart!
Have you thought about machine learning?
The models can predict our behavior, meaning that their inner logic, which is
always based on math, try to accomplish what you suggest.
The problem is that they're not explicit/comprehensible by humans. They're sort of black boxes, like functions.
What do you think about this?