Cuando Ken Ribet demostró, en 1986, que FLT se desprende de la Conjetura de Modularidad, demostrando que FLT ya no era un esfuerzo único y ad-hoc. Nadie sabía lo difícil que podría ser la Conjetura de Modularidad, y muchos esperaban que fuera extremadamente difícil, pero al menos había un enfoque específico y convincente y algo así como una justificación para FLT. Ya no era una observación aleatoria sobre una familia particular de curvas.
El problema P vs NP vio desarrollos en la dirección opuesta. En 1975, Baker, Gill y Solovay demostraron que cualquier enfoque que relativiza está condenado al fracaso, y en 1994, poco antes de la prueba de Wiles, Razborov et al introdujeron la noción de Prueba Natural y demostraron que, si P [matemáticas] \ neq [ / math] NP tiene tal prueba, entonces ocurren varias consecuencias muy inesperadas.
Entonces diría que sí, si presionó a la gente en los años 1975-1995 para que le diga qué problema creen que se resolvería primero, más de ellos apostarían por FLT, y ese sentimiento probablemente se fortaleció en 1986 después del trabajo de Ribet.
- ¿Qué son aleph-null y aleph-1?
- ¿Cómo diseñarías un plan de estudios de matemáticas?
- ¿Qué método matemático se usa en una herramienta de ajuste de curvas en MATLAB?
- Soy un B.Tech. estudiante en India y he encontrado una nueva prueba del Último Teorema de Fermat que es más simple que la encontrada por Andrew Wiles en 1995. ¿Qué debo hacer ahora para presentar mis hallazgos de investigación al mundo?
- ¿Cuáles son algunos trucos matemáticos muy poderosos y desconocidos?
Para ser claros, no se sabía que FLT es más fácil, solo un poco sospechoso, según mi propio cálculo, bastante vago.
