Goalposts

Hacker News has set AI a lot of challenges over the years. Which ones has it met?

2023 Novemberscarmig

About whether an AI must prove something like the Riemann Hypothesis to show understanding.

The key bit is constructing a hard, novel proof. The fact that AI doesn't (yet) do this isn't evidence that it doesn't reason, but if it did so it would be strong evidence that it does reason.

(I also take the pessimistic point of view that most humans don't reason, so YMMV.)

An AI constructs a hard, novel mathematical proof.

Has this happened?

Yes 80 (63%)Not sure 27 (21%)No 19 (15%)

Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.