¿Probar la conjetura de Goldbach ternario ayuda a probar la conjetura de Goldbach fuerte (binaria)?

Tal vez; no es realmente posible saberlo hasta que se pruebe Goldbach. La creencia general es que incluso Goldbach requerirá métodos completamente diferentes del Goldbach débil, en cuyo caso el Goldbach débil no necesariamente va a ayudar mucho.

Cabe señalar que Golbach ya era conocido por todos los números lo suficientemente grandes como para el trabajo de Vinogradov en 1937, por lo que, en principio, hasta tener mejores computadoras (y / o mejorar los límites en “suficientemente grande” para que las computadoras sean lo suficientemente buenas) impar Goldbach se conoce desde hace 75 años. Por otro lado, todavía sería un gran logro demostrar Goldbach fuerte para todos los números suficientemente grandes. Incluso si tuviéramos toda la potencia informática en el mundo, todavía no podríamos demostrar nuestra fortaleza Goldbach.

(Por supuesto, no pretendo disminuir el trabajo de Helfgott sobre el débil Goldbach. En la práctica, claramente todavía era un problema muy difícil mejorar los límites de Vinogradov hasta un punto en el que pudiéramos resolver los casos pequeños. Simplemente lo digo para Goldbach fuerte, ni siquiera tenemos un enfoque que reduzca el problema a un cálculo finito, incluso si es imposiblemente grande.

Bueno, en realidad, incluso con los límites mejor conocidos previamente, una computadora del tamaño del universo, funcionando a la velocidad de la luz durante toda la vida del universo no hubiera sido suficiente …

Claro que si. Hasta donde sabemos, en todas esas particiones ternarias de números impares, uno de los primos siempre se puede convertir en un 3, mientras que los otros pueden cambiar, y aún así se sumaría al mismo número. Si se puede probar el GC ternario, Y se puede probar que uno de los primos debe ser necesariamente un 3, entonces restar el 3 nos permite expresar cualquier número par (mayor o igual a 4) como una suma de dos primos, que es precisamente el GC original.