"Correo electrónico? ¿Me ayudas a escribirlo?"
Lu Zhou hizo una pausa, bostezando y tomando su desayuno que estaba en la mesa.
"No es necesario. Eso no se puede explicar con palabras... Si te lo editas, el universo ya estaría oscuro."
"¿De qué trata?"
"A Conjetura ABC."
"A-ABC Conjetura? !" Han Meng Qi quedó perpleja al escuchar esta respuesta breve y precisa de Lu Zhou. "¡¿Cómo?! ¿Te has puesto a investigar eso?"
Si no se equivocaba, pensó que su Maestro estaba ocupado con el proyecto de lanzamiento tripulado a Marte.
Además, parecía que en más de una ocasión le había dicho que los últimos años no se dedicaría a la matemática abstracta.
"¿Cómo fue la gira?"
"Eso es lo de menos," respondió Lu Zhou. "El camino hacia el éxito está lleno de obstáculos."
Mientras repasaba mentalmente, añadió:
"Sí, sospecho que este tipo podría ser Shinichi Mochizuki en persona." (Nota 1)
Este documento sobre la demostración de la Conjetura ABC es claramente una revisión del que publicó en línea anteriormente.
Por no haber sido publicado, ni el resumen ni el título estaban presentes. Cuando Han Meng Qi leyó los veinte primeros papeles, comprendió que era familiar. A medida que llegaba al treinta y tantos páginas, se dio cuenta de que trataba la Geometría Árbitral lejana y la Teoría del Cosmológico.
En resumen, la principal idea de la demostración de Mochizuki para la Conjetura ABC es convertir el problema abstracto en una curva elíptica más abstracta, que es un tipo especial de ecuaciones binarias cúbicas.
La explicación de este proceso no era difícil: se relacionaba cada "ecuación ABC" con un gráfico que cortaba al eje X en a, b y el origen. Tras esta transformación, la demostración de la Conjetura ABC equivalía a probar cierta relación entre las cantidades de estas curvas elípticas construidas.
Esta operación de convertir problemas algebraicos en geométricos permitía que se convirtiera un problema puramente numérico en uno que implicaba geometría, cálculo y otros campos. Esto permitía la utilización de más herramientas matemáticas para resolver el problema.
Aunque esta demostración era claramente un procedimiento muy clásico, como el usado por Wiles para probar la Conjetura de Fermat, en su versión de 500 páginas...
La realidad era que este camino se volvía menos amigable a medida que se convirtió en un documento tan largo.
Muchos lo calificaron como una tarea aún más difícil: entender la Geometría Árbitral lejana y la Teoría del Cosmológico.
El famoso matemático Carlo Cagliari incluso dijo directamente que era "un desastre completo".
A los recuerdos de Lu Zhou, en algún momento hace unos años, Schultz y su socio habían ido a Beijing para debatir con Mochizuki sobre el asunto. Pero al final, quedó un debate donde cada uno defendía su punto de vista.
Schultz dijo que estaba en una escalera ilusionante sin fin de Escher... Mientras tanto, Mochizuki afirma que "no entiendes nada" y "has confundido los fundamentos básicos".
En cuanto a Lu Zhou...
Sus opiniones eran las mismas que las de Schultz.
"[Leí el artículo.]"
"[Aunque ha sido revisado con respecto al anterior, aún existen grandes fallos. Especialmente en la inferencia 3.12, para entender las relaciones entre los volúmenes de conjuntos, se necesita una relación entre las medidas del volumen en cada espacio diferente... Pero en la mapeación que presentas, el 'medidor' es localmente consistente... ]"
"[En conclusión.]"
"[Tu demostración está equivocada.]"- (Nota 1: Mochizuki niega esto, pero es una especie de meme entre los matemáticos y no debería tomarse en serio.)
Lu Zhou apagó la luz.