News for hackers. Stuff that matters.

A comment on Two-hundred-terabyte math proof is largest ever. Parent comment

Re:Two-hundred-terabyte math proof is largest ever by j2kun on Friday May 27, 2016 @11:00AM (#11786443)
> IANAMathematician, but, a brute force proof is still a proof though, isn't it?

IAAMathematician and yes, it is still a proof.

[ Parent | on HN ]

There are no comments on this comment yet.