NHK総合でBSD予想の再放送していたの見たけれども、
y^2=x^3+1上の有理点って5つしかないの？
y^2=x^3+2上の有理点は無限個あるんでしょ？
y^2=x^3+2上の有理点を検出するのと同様に見つかっている有理点と楕円曲線との接線と楕円曲線との交点はなぜ該当しないの？
ちなみにウルフラム大先生に聞くと、y^2=x^3+1上の有理点を整数解として3つしか提示してくれない。明らかに5つはある。