Goalposts

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

2024 Decemberyosito

About whether an LLM proving the Riemann Hypothesis would show it can reason.

Let's talk when we've got LLMs proving the Riemann Hypothesis (or any mathematical hypothesis) without any proofs in the training data. I'm confident in my belief that an LLM can't do that, and will never be able to. LLMs can barely solve elementary school math problems reliably.

An LLM proves the Riemann Hypothesis, or any open mathematical hypothesis, without proofs of it in its training data.

Has this happened?

Yes 75 (54%)Not sure 29 (21%)No 36 (26%)

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