Comment by pitdicker

Good look to whomever is going to formalize that!

Does anyone have an idea of the amount of effort it would take? Would the effort be comparable with the original proof by Andrew Wiles?