Broken Proofs and Broken Provers - Tech Sentiments