Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Long out of math, an AI programmer cracks a pure math problem. Parent comment
But no such proof can exist because the claim is not true. When you posted your comment, Fetiorin had already given a counterexample.
But no such proof can exist because the claim is not true. When you posted your comment, Fetiorin had already given a counterexample.