Hacker News new | ask | show | jobs
by jfengel 4 days ago
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.