I have to say I find Wiles' work brilliant but unsatisfying. I want to know what Fermat's proof was - it sure didn't involve the Taniyama-Shimura conjecture!

## Unsatisfying

I have to say I find Wiles' work brilliant but unsatisfying. I want to know what Fermat's proof was - it sure didn't involve the Taniyama-Shimura conjecture!