アンドリュー・ワイルズ
予想は、50年ほどさかのぼるが、1999年にアンドリュー・ワイルズのアイデアを使い完全に証明された。彼は1994年大きな楕円曲線の族についてこの予想を証明した。