Re:Two-hundred-terabyte math proof is largest ever
by tel on Monday May 30, 2016 @05:37PM
(#11803362)
But if I don't trust you then your program and limit can only be verified by my execution of it. This might be incredibly or even in feasibly expensive and unless you've also got a resource bound proof then I might be sunk.
On the other hand, code which verified a fully expanded proof may be very simple and easy to check/trust/believe.
A 200TB proof is literally impossible to communicate to a human. Where is the benefit to that formulation?
The huge version is not better for a machine either. 200TB is a lot of storage, and you could rerun 30000 CPU-hours of calculations in under a month on a single semi-high-end 4U server.