Pith. sign in

open problem

The Riemann Hypothesis

All nontrivial zeros of the Riemann zeta function lie on the critical line. The oldest open problem on Hilbert's list and a Clay Millennium Prize problem.

90 machine-reviewed papers whose extracted claims name this problem. Matching is literal, over the claim graph, so every listing traces to a sentence in a review.

This is the review hub: papers that name the problem, with the machine's verdict on each. The claims shelf lists the individual claims themselves, formal (Lean) or stated.

Share X Bluesky LinkedIn Reddit HN