Tecnologia avanzada del becario – Capítulo 235: ¡Prueba de la conjetura!
Capítulo 235: ¡Prueba de la conjetura!
: :
El cielo brillaba fuera de la ventana.
Lu Zhou estaba durmiendo en su escritorio. Lentamente abrió los ojos.
Se frotó las cejas doloridas y miró el calendario en la esquina de su mesa.
Ya es mayo …
Lu Zhou tenía un ligero dolor de cabeza y sacudió la cabeza.
Desde su llegada a Princeton en febrero, había pasado casi la mitad de su tiempo en este pequeño departamento. Aparte de ir de compras, básicamente no salió de la habitación.
Lo peor fue su membresía del club de comida de $ 5,000 USD. Apenas lo había usado.
Después de recibir la misión, había estado desafiando la conjetura de Goldbach durante casi medio año.
Finalmente, hubo un resultado.
Lu Zhou respiró hondo y se levantó.
Estaba casi en la línea de meta y ya no tenía que apresurarse.
Lu Zhou fue a la cocina y se preparó un aperitivo. Incluso sacó una botella de champán del refrigerador y se sirvió una copa.
Compró este champán hace dos meses solo por este momento.
Lu Zhou terminó tranquilamente su comida. Luego fue a lavarse las manos antes de regresar a su escritorio. Comenzó a poner fin a su trabajo.
Comenzó a continuar donde lo dejó.
(… Obviamente, tenemos Px (1,1) ≥P (x, x ^ {1/16}) – (1/2) ∑Px (x, p, x) -Q / 2-x ^ (log4) … (30))
(De la ecuación (30), Lema 8, Lema 9, Lema 10, se puede demostrar que el teorema 1 es válido).
El llamado teorema 1 fue la expresión matemática de la conjetura de Goldbach en su tesis.
Es decir, dado un número par N suficientemente grande, había dos números primos P1 y P2 que satisfacen N = P1 + P2.
Teoremas similares fueron el teorema de Chen N = P1 + P2.P3, había toda una serie de teoremas sobre P (a, b).
Por supuesto, aunque calificó esto como el teorema 1 en su tesis, no pasaría mucho tiempo antes de que la comunidad matemática aceptara su prueba. Después de eso, podría actualizarse al "teorema de Lu Zhou" o algo así.
Sin embargo, el proceso de revisión para este tipo de conjeturas mayores fue más largo.
La prueba de Perelman de la conjetura de Poincaré tardó tres años en ser reconocida por la comunidad matemática. La prueba de la conjetura estaba llena de muchos "términos misteriosos". Por lo tanto, era difícil para nadie más que él entender la tesis.
La velocidad a la que se revisó una conjetura importante dependía en gran medida de la popularidad de la conjetura.
Cuando Lu Zhou demostró la conjetura principal gemela, no utilizó una teoría particularmente novedosa. Solo usó el método de gemelo principal mencionado en la tesis de Zellberg de 1995. Por lo tanto, la gente entendió rápidamente su prueba.
Sin embargo, para la tesis de conjeturas de Polignac, el proceso de revisión tomó mucho tiempo.
A pesar de que Lu Zhou usó su Método de Estructura de Grupo ya probado, realizó modificaciones significativas y se volvió muy diferente al método de tamizado grande. Incluso para un gran nombre como Deligne, llevaría mucho tiempo revisarlo.
Lu Zhou escribió cincuenta páginas para la tesis de conjeturas de Goldbach. La mitad de los cuales fue para discutir el marco teórico que construyó para la prueba.
Esta parte podría publicarse como una tesis por sí sola.
En gran medida, su proceso de revisión dependía del interés de otras personas en su trabajo y de la aceptación de otras personas.
En cuanto a cuánto tiempo tomaría, estaba fuera de su control.
En realidad, Lu Zhou pensó en cuáles eran los criterios del sistema para completar la misión.
Si completara la prueba, pero durante décadas, nadie aceptó su trabajo, ¿estaría atrapado en esta misión?
De lo que estaba más confundido era de dónde provenía la gran base de datos del sistema. Debe haber venido de una civilización mucho más avanzada que los humanos.
Lu Zhou sintió que el sistema haría su propio juicio si demostraba o no la conjetura. El sistema no dependería de los "humanos".
La conclusión de Lu Zhou fue que la finalización de su misión dependería de dos factores.
El primero fue la corrección.
¡El segundo fue publicar!
En realidad, había una manera muy simple de verificar si su prueba era correcta.
No tenía que publicar en revistas …
…
Después de probar la conjetura de Goldbach, Lu Zhou pasó tres días enteros clasificando la tesis en su computadora. Lo convirtió a formato PDF y lo subió a arXiv.
Estaba casi seguro de que su tesis era correcta porque su hábito era llevar a cabo rigurosos controles dobles en cada línea de conclusión. Él examinaría repetidamente todos los posibles errores.
En cuanto a la publicación …
ArXiv no tenía un proceso de revisión por pares, por lo que sin duda fue la opción más rápida.
El único inconveniente era que podía entrar en conflicto con el envío a otras revistas. Por ejemplo, cargar la tesis antes de la fecha límite puede violar algunas reglas de doble presentación, pero a Lu Zhou no le importaron esas cosas. También creía que a las revistas de buena reputación tampoco les importaría.
Después de todo, Lu Zhou no era un tipo sin nombre. Fue el ganador del Premio Cole en teoría de números. Además, su tesis no fue un trabajo aleatorio. ¡Era la conjetura del famoso Goldbach, la octava pregunta de Hilbert 23, que era uno de los problemas del Premio del Milenio!
Pasaría los siguientes dos días editando y organizando su tesis. Después de eso, lo enviaría a (Anual de Matemáticas).
Cuando se probó por primera vez el último teorema de Fermat, se necesitaron seis revisores para verificar la prueba. Lu Zhou no sabía cuántos revisores justificaba, pero no debería ser menos de cuatro.
Lu Zhou miró el mensaje de "finalización de carga" en su navegador y respiró hondo.
¿Esto significa que lo he terminado?
Después de la publicación de su tesis, alguien en este campo recibió una alerta. En algún lugar de este planeta, alguien ya estaba leyendo su tesis.
Sin embargo, Lu Zhou no sabía si el sistema contaba esto como una presentación exitosa.
Lu Zhou se sentó frente a la computadora y respiró hondo. Luego cerró los ojos y susurró.
"Sistema."
Cuando volvió a abrir los ojos, se encontró con una vista completamente blanca.
Había pasado mucho tiempo desde que llegó aquí. Lu Zhou casi se sintió incómodo.
Se dirigió a la pantalla de información semitransparente e hizo clic en el panel de la misión.
Iba a ver si su misión se había completado …
También pudo verificar si su proceso de pensamiento era correcto.
Espera un minuto…
Lu Zhou se dio cuenta de un problema.
Si el sistema no respondía, eso significaba que su suposición del proceso de evaluación de la misión del sistema era incorrecta o que su tesis era incorrecta.
El sistema no le dio tiempo para pensar.
Sonó un sonido de notificación.
Entonces, apareció una línea de texto.
(¡Felicitaciones, usuario, por completar la misión!)