x^4+y^4=z^4 だと、赤チャートの一番後ろに解答が書いてあって大学入試レベルだが、 x^3+y^3=z^3のときは、学習参考書にもないので、
全部証明になると思ってるだけでそうすることが出来る人はいないだろう。ワイルズの論文みても何書いてるかわからないし、三枝先生の講義も何言ってるのか分からない。
発狂して、スーパーコンピュータ使っても、スパコンでは、フェルマー予想は解けないし。
C×からC×に行くような、アーリュドグループの準同型をとってきたりして? しかしこれは、コリヴァギンフラッハ法という正統な解き方ではないので、別解なので
コリヴァギンフラッハ法がありました
という説明はもう既に、1996年に本が書かれていてそこに大体の歴史は書いてありますが、そういう状態のものを作ることはできないということです、はい。