¿Se ha encontrado una prueba mucho más corta del último teorema de Fermat? La prueba de Wiles es extremadamente larga.

No, y es muy poco probable que sea posible una prueba “mucho” más corta.

FLT es extremadamente difícil de probar. Es por eso que no se comprobó durante 358 años, a pesar de los mejores esfuerzos de miles de matemáticos brillantes (y muchos más no tan brillantes).

Lo que hay que entender sobre este teorema es que no hay ninguna razón simple y directa por la que deba ser cierto. Es más bien como si fuera solo cierto, casi por accidente, debido a algunas coincidencias matemáticas muy complicadas, intrincadas y oscuras.

Podría escribir una prueba más corta, pero solo asumiendo algunos resultados muy poderosos en curvas elípticas y formas modulares (en las que se basa la prueba de Wiles). Entonces tendrías que entender esos resultados, por lo que realmente no ayudaría.

Durante cientos de años, los matemáticos aficionados han estado castigando, esperando encontrar una razón simple por la cual FLT es cierto. Ahora podemos decir, con cierta confianza: no pierdas tu tiempo. No hay uno

No hay ningún requisito en el Universo de que una prueba matemática particular sea condensable a una longitud conveniente.

De los 50 a 100 matemáticos que en realidad podrían entender la mayoría de las pruebas, no espero que pasen parte de su tiempo tratando de encontrar atajos en la prueba.