Hacker News new | past | comments | ask | show | jobs | submit
afdbcreid | on: Mathematics has changed. Let's act like it
A single bug can usually allow you to prove anything you want. Saying that this is how the proofs were achieved is a totally different matter though, and probably incorrect.