Swinnerton‐Dyer conjecture