Hacker News
new
past
comments
ask
show
jobs
points
by
aktuel
15 hours ago
|
comments
by
ion_trapper
15 hours ago
|
[-]
A bug which has allowed 700 proofs from diverse fields of math to appear as proven, and noone has figured it out yet?
reply
by
afdbcreid
15 hours ago
|
parent
|
[-]
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.
reply