Todo par mayor que dos como suma de dos primos
La conjetura fuerte de Goldbach afirma que todo número par mayor que 2 puede escribirse como suma de dos números primos. Ejemplos: 4 = 2 + 2, 10 = 3 + 7 y 100 = 47 + 53. La frase cabe en una línea y se ha verificado por ordenador para cantidades inmensas, pero todavía no existe una demostración aceptada que cubra todos los pares. Esa distancia entre una regla fácil de entender y una prueba ausente la convirtió en uno de los problemas clásicos de la teoría de números.
La versión moderna surgió de una carta de Christian Goldbach a Leonhard Euler en 1742. En aquella época a veces se contaba el 1 como primo y la formulación era diferente; Euler la reformuló en términos equivalentes a la conjetura fuerte actual. La versión débil afirma que todo impar suficientemente grande —y hoy sabemos que todo impar mayor que 5— es suma de tres primos impares.
Cuanto más grande el número, más parejas posibles
Para un par N se prueban primos p menores o iguales que N/2 y se comprueba si N − p también es primo. A medida que N crece hay más candidatos, aunque los primos se vuelven menos frecuentes. Los modelos probabilísticos sugieren que debería haber representaciones y predicen cómo varía su cantidad según los factores de N. Los datos siguen muy bien ese patrón general.
Pero «cada vez parece más probable» no es una prueba. Los primos no se distribuyen como lanzamientos independientes; obedecen restricciones aritméticas. Un contraejemplo podría aparecer más allá de cualquier límite computado. Las heurísticas orientan y permiten formular predicciones, pero una demostración debe controlar todas las correlaciones relevantes para un conjunto infinito.
Un mismo par puede tener una o muchas representaciones. Por ejemplo, 50 admite 3 + 47, 7 + 43, 13 + 37 y 19 + 31. La cantidad fluctúa porque depende de divisibilidad y distribución local de primos. Estudiar esas oscilaciones reales es mucho más informativo que dibujar solo una pareja posible por número concreto.
Un ordenador termina; el infinito no
Las verificaciones computacionales recorren pares hasta un límite y usan pruebas de primalidad y partición del trabajo. Aportan evidencia, detectan errores en ideas y garantizan que no hay contraejemplos en ese rango. También pueden combinarse con teoremas que cubren números grandes para cerrar intervalos finitos. Aun así, verificar incluso 1018 casos deja infinitos por delante.
Una prueba matemática ofrece un argumento general. Puede suponer lo contrario y derivar una contradicción, construir siempre una pareja o mostrar que el conjunto de excepciones está vacío. El algoritmo de Euclides termina para cada entrada mediante una disminución demostrable; Goldbach necesita una idea que funcione para cada par sin inspeccionarlos individualmente.
Resolver problemas cercanos también cuenta
En 1937, Vinográdov demostró que todo impar suficientemente grande es suma de tres primos. Harald Helfgott completó en 2013 la conjetura débil para todos los impares mayores que 5, combinando análisis y computación. Es un resultado completo, pero tres primos ofrecen más libertad que dos y no implica la conjetura fuerte.
El teorema de Chen afirma que todo número par suficientemente grande es suma de un primo y un número con como máximo dos factores primos. Se acerca notablemente a Goldbach: sustituye el segundo primo por un semiprimo posible. Otros resultados muestran que casi todos los pares cumplen bajo sentidos precisos. «Casi todos» en matemáticas puede permitir excepciones infinitas de densidad cero, así que tampoco cierra el problema.
El problema de paridad en los métodos de criba
Las cribas eliminan números divisibles por primos pequeños y estiman cuántos candidatos quedan. Son extraordinarias para demostrar que un número tiene pocos factores primos, pero encuentran una barrera al distinguir con suficiente precisión entre un primo y un producto de un número par de factores. Esa dificultad, llamada problema de paridad, ayuda a entender por qué pasar de Chen a dos primos no es un ajuste pequeño.
Los métodos analíticos estudian sumas exponenciales y distribución de primos en progresiones. Cada mejora controla errores más finos, pero el término principal debe dominar para cada número, no solo en promedio. Goldbach se sitúa en un punto donde varias técnicas rozan la respuesta sin atravesar el último obstáculo. El bloqueo es técnico y estructural, no falta de comprobar ejemplos.
Señales de que un anuncio no ha resuelto el problema
Una demostración debe definir todos los términos, justificar cada paso y ser revisable por especialistas. Probar muchos casos, dibujar patrones o afirmar que la probabilidad de fallo es diminuta no cubre el infinito. También hay que vigilar divisiones por expresiones que podrían ser cero, inducciones que asumen lo que quieren probar y argumentos que solo funcionan para una subclase de pares.
Goldbach enseña una lección más amplia: la evidencia numérica puede ser abrumadora y aun así quedar una pregunta lógica abierta. Eso no reduce el valor de calcular ni convierte la conjetura en una duda razonable cotidiana. Significa que las matemáticas reservan la palabra «demostrado» para un estándar especial. Hasta que aparezca ese puente general, millones de parejas de primos seguirán siendo evidencia de una frase muy convincente, no su final.
