Comment by anonymouz

No, because knowing a proof exists is just a small part of math. It's value is rather limited to actual math, as the article explains quite eloquently and nicely.