Could you explain the link you're making here? As far as I understand four colour theorem was computer assisted proof in the sense that mathematicians wrote a very specific and analytical definition for it in a logical theorem prover.

The linked article is very different right? Because it's using a neural net to do some kind of probabilistic inference as a heuristic for imperfectly stimulating physical events.