This is symptomatic of what's happening in math. Theorem provers figure things out that are beyond our comprehension to test or follow. Considering how many b

This is symptomatic of what's happening in math. Theorem provers figure things out that are beyond our comprehension to test or follow. Considering how many bugs we find when things are simple enough to check, we have to be careful when things get too complex to check.