To be rigorous you would need to prove that the machine verified it correctly. Good luck doing that. Also theorem proving is only good for basic rudimentary maths, and not abstract state of the art math research.