logoalt Hacker News

andoandotoday at 7:49 AM0 repliesview on HN

I mean it would be ridiculously easy to make up any number of incorrect proofs.

It would have to show something new and interesting.