One of the main issues is that this is just a really tedious process. No one wants to go through algebra; that's why it's siphoned off to grad students. Do you

One of the main issues is that this is just a really tedious process. No one wants to go through algebra; that's why it's siphoned off to grad students. Do you really think a tenured professor is going to spend time checking the grunt work on /someone else's/ paper when they won't do it for their own? I'm intrigued by the possibility of using natural language processing and logical system tools like Wolfram Alpha. Wolfram recently posted on his blog about building machines that could store data about complex mathematical objects, and already you can build machines that confirm first order logical statements. Farming out low-level tasks to automated systems would be interesting. Imagine if the format of papers changed entirely, ie, you had to submit your proofs in certain formats, or at least certain parts in specific ways. I'm sure that many professors would be elated to see the number of papers they have to review go down drastically; although, I'm sure many will be disappointed to get a return letter that says, "I'm sorry, but the low level flaws were so serious that they were automatically rejected and are not fit for review."