Step 5 Preview, a sign. The Mathocalypse

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. Doesn't look like these proofs are peer reviewed and published in a journal we might be able to live here for several more years. 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.