A bug which has allowed 700 proofs from diverse fields of math to appear as proven, and noone has figured it out yet?
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.
alt Hacker News
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.