Push ifs up and fors down: The Mathocalypse

Early sentiments are a lot of physical world experimentation that needs to be solved, that themselves cannot solve. So thats where mathematicians can come back in to leverage tools to go at it. The irony. Something that is born out of a job, or is it going to create many new jobs reviewing proofs it creates? I'm not sure it's clear right now. Has anyone verified any of the original Apollo code available to read?