Comment by lenkite

> but simply dumping proofs on the math community and expecting others to do the grunt work of verifying, refining, and expanding on them is hardly a productive way to advance the field.

I assume this will increase the job market for mathematicians though right ? Tens of thousands of dumped proofs will mean math majors will need to be hired for review.