@tao@mathstodon.xyz how would this differ from computationally fimding a counterexample and not truly understanding why it's truly happening? Or that it took us more to understand why the counterexample given by Fable 5 to the Jordanian conjecture is happening, similar to your last Blogpost? There's many problems that were proven without us truly understanding what actually happened, more often than not in counterexamples.