Does anyone happen to know who made the conjecture on the finiteness of the Tate-Shafarevich group? We recall what the conjecture says. Let $E/K$ be an elliptic curve where $K$ is a number field. Then $Ш(E/K)$ is finite.