Prueba propuesta de la conjetura abc (teoría interuniversal de Teichmüller)
Claimed proof of the abc conjecture
- Fecha
- 2012 · fiabilidad alta
- Lugar
- Kioto (RIMS), Japón
- Autoría
- Shinichi Mochizuki
- Personas
- 👤 Shinichi Mochizuki1969–
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Más de 500 páginas de teoría nueva que, según su autor, demuestran la conjetura abc, con enormes consecuencias en teoría de números. Publicada en 2021 en una revista del propio RIMS, la comunidad internacional no la acepta como prueba.
Scholze y Stix señalaron en 2018 una laguna en el corolario 3.12 que Mochizuki niega; es la disputa más notable de la matemática actual.
A qué dio paso
- debate sobre verificación y consenso en matemáticas
- intentos de formalización
Se apoya en
- conjetura abc (Oesterlé y Masser, 1985)
- geometría anabeliana