フェルマーの最終定理が解決される以前、ある有名数学者がこの予想を拡張した予想を出したが、コンピュータの計算によって否定されたけど、誰だっけ？