Producing a mathematical proof and establishing that it is correct are different achievements. The first belongs to the notion of invention, the second to the certification. We are talking about two totally different approaches.

Post to X