Pith. sign in

open problem

Goldbach's Conjecture

Every even integer greater than 2 is the sum of two primes. Verified to astronomical bounds, never proven.

5 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