Humans used their evolved neural networks to develop math over many centuries. In time, they showed more and more concepts could be formalized to enable rigorous proofs (Dedekind et al). Then they showed that the notion of proof itself could be formalized and that simple mechanical processes (algorithms) could verify and search for proofs (Frege,…