Technically he was working on the Taniyama conjecture (now known as the modularity theorem), not on Fermat's last theorem.