On the depth of Wiles's proof of Fermat's Last Theorem

Yong Cheng, Colin McLarty

What constitutes depth in a mathematical proof? This paper addresses this foundational question through a close case study of Andrew Wiles's proof of Fermat's Last Theorem. We prop…