Pith. sign in

open problem

Birch and Swinnerton-Dyer

The rank of an elliptic curve equals the order of vanishing of its L-function at s = 1. A Clay Millennium Prize problem.

4 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