open problem
The Twin Prime Conjecture
Are there infinitely many primes p with p + 2 also prime? Zhang's 2013 bounded-gaps breakthrough brought it within reach.
3 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.