News for hackers. Stuff that matters.

A comment on Any smooth cubic surface contains 27 lines. Parent comment

Re:Any smooth cubic surface contains 27 lines by amelius on Wednesday February 17, 2016 @09:53AM (#11118191)
My definition of a trivial proof would be a proof that is mechanically verifiable. I.e., it is verifiable by even something as "dumb" as a computer.

Of course, such proofs tend to be longer than most proofs that are considered non-trivial.

[ Parent | on HN ]
Re:Any smooth cubic surface contains 27 lines by omaranto on Wednesday February 17, 2016 @03:10PM (#11120877)
Maybe years ago that would have been a plausible definition, but by now many proofs have been verified by computer, including several which probably no-one would feel comfortable calling trivial.
[ Parent | on HN ]