Broken Proofs and Broken Provers / hacker news