Comment by jfengel

Enormous.

Wiles' proof is 129 pages long, and builds on results that require a vast amount of infrastructure to define.

It's going to take dozens of person-years.