Robert Hunt concludes our Origins of Proof series by asking what a proof really is, and how we know that we've actually found one. One for the philosophers to ponder...