News for hackers. Stuff that matters.
Re:Two-hundred-terabyte math proof is largest ever by ifdefdebug on Friday May 27, 2016 @12:21PM (#11787014)
> you can encode any proof to a few hundred lines.

Yeah, I misread that. The sentence implies the existence of a proof. So I was clearly talking about something different. Thanks.

There are no comments on this comment yet.