News for hackers. Stuff that matters.

A comment on Human mathematicians are being outcounterexampled. Parent comment

Re:Human mathematicians are being outcounterexampled by andoando on Tuesday July 21, 2026 @03:49AM (#48989341)
I mean it would be ridiculously easy to make up any number of incorrect proofs.

It would have to show something new and interesting.

[ Parent | on HN ]

There are no comments on this comment yet.