>>13740733> that much of the proof was a brute force computationwhat part of
"fundamentally misunderstand what the computer aided part of the proof is"
do you not get? Just because it's mathematicians doesn't mean they didn't misunderstand the proof, especially since the proof has been generally been accepted and the methods are sound and common in graph theory at large.
There's an entire journal for results that use computers in a nontrivial way to do math - Experimental Mathematics. And hell, algebraists in operator theory use CS theory methods from prover-verifiers to do their work now that MIP*=RE made its splashes.
