Comment by kurtis_reed

The point of understanding is to get better at proving new things. Now that humans are obsolete for proving things, human understanding is unnecessary.