Remix.run Logo
▲ ion_trapper a day ago

A bug which has allowed 700 proofs from diverse fields of math to appear as proven, and noone has figured it out yet?

▲afdbcreid a day 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.