The largest math proof ever presented.., which is almost 200 terabytes in size. It deals with the Boolean... The largest math…
The world's most long-winded proof In the 1980s, the famous mathematician Ronald Graham asked if it's... The world's most long-wi…
Francesco Scarfato,
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer http://arxiv.org/... Solving and Verifying…
http://arxiv.org/abs/1605.00723 http://arxiv.org/abs/1605.00723 [1605.00723] Solving and Verifying the boolean Pythagorean…