What are the biggest chunks which will be left undone by FLT

Stream: FLT

[Ryan Smith]

Just a curiosity question: since the goal is to prove FLT given the state of math sometime around 1980 or so, what are the biggest pieces which will be given a sorry and not attempted? The first things which came to mind were Jacquet-Langlands and Langlands-Tunnel since both were already known, I think both are necessary, and I can't imagine anybody casually doing those and adding them to mathlib in the background.

[(deleted)]

No stone will be left unturned... unless funding runs out. Hopefully

[Kevin Buzzard]

It's not "1980 or so", it's "the 1980s". Mazur, Jacquet-Langlands, cyclic base change + classification of image, and attaching Galois representations to Hilbert modular forms (which will need cohomology of Shimura surfaces) are all things which will be assumed in the EPSRC-funded part of the program. You're wrong about Langlands--Tunnell, that has not been necessary for years, read chapters 2 and 3 of the blueprint to see the route we're taking.