 Delariviere and Van Kerkhove (2017) point out, however, that while computer methods may play an increasingly important rule in proof verification, it is much less clear that such methods can play a correspondingly central role in advancing mathematical understanding. 