I agree with this but that's not how OP framed it.

That's a different circumstance though and is not what OP is advocating.

You can bet the barn that they will "joke" that deranged left will be tried and similarly executed.

Looks like you have a misunderstanding of what a mathematical proof is. I have but a mere bachelor's in applied mathematics and employed as a statistical engineer for a couple decades now. If a proof is successful at showing a mathematical statement is true, it's a done deal. It doesn't work like science which relies on mathematical models to explain its anecdotes.

There are massive libraries or repositories of scientific/mathematical published research throughout higher education institutions and across various technological industries. The required training data exists.