La Conjetura de Goldbach (Christian Goldbach, 1742) afirma:
Todo número par mayor que 2 puede escribirse como la suma de dos números primos.n = p + q, \quad p, q \text{ primos}, \quad n \text{ par}, n > 2.
Ejemplos: 4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5, 10 = 3 + 7 = 5 + 5.
Se ejecutó un motor de verificación propio (verificar_goldbach.py) que:
1. Construye una criba de Eratóstenes hasta N.
2. Cuenta, para cada par n \le N, de cuántas maneras puede escribirse como p + q.
3. Detecta contraejemplos (pares sin representación).
Conclusión empírica: dentro del rango verificado, la conjetura se sostiene sin excepciones.
Sea \mathbb{P} el conjunto de primos y sea r_2(n) la cantidad de pares ordenados (p, q) \in \mathbb{P}^2 tales que p + q = n. Goldbach equivale a:
r_2(n) > 0 \quad \text{para todo } n \text{ par}, n > 2.
Definamos la función indicatriz de primos:
\chi_{\mathbb{P}}(x) = \begin{cases} 1 & \text{si } x \text{ es primo} \\ 0 & \text{en otro caso} \end{cases}
Entonces:
r_2(n) = \sum_{p \le n/2} \chi_{\mathbb{P}}(p) \cdot \chi_{\mathbb{P}}(n-p).
Aplicando el Teorema de los Números Primos (\pi(x) \sim x / \ln x), la probabilidad heurística de que un entero cercano a x sea primo es aproximadamente 1 / \ln x.
Para n par y grande, el número esperado de representaciones es:
r_2(n) \approx 2 \cdot C_2 \cdot \frac{n}{(\ln n)^2} \cdot \prod_{p > 2, p \mid n} \frac{p-1}{p-2}
donde C_2 \approx 0{,}6601 es la constante de los primos gemelos (twin-prime constant).
Dado que este valor crece sin límite cuando n \to \infty (salvo factores multiplicativos acotados), la ausencia de contraejemplos grandes es consistente con la conjetura.
El marco de la Consultoría propone atacar Goldbach mediante una reducción de densidad:
1. Acotar conjuntos excepcionales: probar que el conjunto de pares "sin representación" es de densidad cero usando cribas y métodos de criba superior.
2. Aislar la estructura multiplicativa: separar la contribución de primos pequeños vs. primos grandes, usando la función de Möbius y desigualdades de tipo Brun-Titchmarsh.
3. Aplicar el método del círculo de Hardy-Littlewood: descomponer r_2(n) en una parte principal (sumas exponenciales mayoritarias) y una parte residual (sumas exponenciales menores). La parte principal domina para n suficientemente grande.
4. Verificación finita: completar el ataque con computación explícita hasta un umbral N_0 fijo, después del cual el método analítico garantiza el resultado.
Recomendación: continuar con la verificación computacional a mayor escala y desarrollar cotas de criba para el conjunto excepcional, mientras se explora una reducción analítica novedosa compatible con el marco cuaternario de la Consultoría.
verificar_goldbach.py — script de verificación computacional.goldbach_resultados.json — resultados numéricos hasta 100.000.Documento generado bajo el marco de la Consultoría para el proyecto de las cuatro conjeturas matemáticas.
La Conjetura de los Primos Gemelos afirma:
Existen infinitos pares de números primos que difieren exactamente en 2.
Ejemplos: (3,5), (5,7), (11,13), (17,19), (29,31), (101,103).
Formalmente, debe existir una infinidad de enteros n tales que n y n+2 sean ambos primos.
Se ejecutó un motor de verificación propio (verificar_primos_gemelos.py) que:
1. Construye una criba de Eratóstenes hasta N.
2. Detecta todos los pares (p, p+2) con ambos primos.
3. Calcula una aproximación parcial de la constante de Brun.
4. Compara el conteo observado con la estimación de Hardy-Littlewood.
Observación: el conteo observado (1.224) es cercano a la predicción heurística (1.258{,}3), lo que refuerza la plausibilidad de la conjetura.
Definimos:
\pi_2(x) = \#\{p \le x : p \text{ y } p+2 \text{ son primos}\}.
La conjetura equivale a:
\lim_{x \to \infty} \pi_2(x) = \infty.
La probabilidad de que un número cercano a x sea primo es aproximadamente 1 / \ln x. Sin embargo, los eventos "p es primo" y "p+2 es primo" no son independientes: ambos deben evitar el divisor 2. Ajustando por esta correlación local, se obtiene la conjetura asintótica:
\pi_2(x) \sim 2 C_2 \int_2^x \frac{dt}{(\ln t)^2}
donde:
C_2 = \prod_{p > 2} \frac{p(p-2)}{(p-1)^2} \approx 0{,}6601
es la constante de los primos gemelos.
Para x = 100.000, la estimación da \approx 1.258 pares, muy cerca del 1.224 observados.
Aunque se sospeche que hay infinitos primos gemelos, la suma de sus recíprocos converge (Teorema de Brun, 1919):
B = \sum_{(p,p+2) \text{ gemelos}} \left(\frac{1}{p} + \frac{1}{p+2}\right) \approx 1{,}90216058
Nuestra verificación parcial hasta 100.000 acumula 1{,}67279958, lo cual es consistente con la convergencia hacia el valor de Brun.
1. Criba de Selberg / criba superior: acotar el conjunto de enteros n para los cuales ni n ni n+2 tienen factores pequeños.
2. Nivel de distribución: extender los resultados de Zhang-Maynard mostrando que el nivel de distribución de los primos es suficiente para garantizar infinitos pares a distancia fija.
3. Argumento de densidad: probar que la función densidad de pares gemelos no decae a cero más rápido que la predicción de Hardy-Littlewood, usando cotas de criba y sumas exponenciales.
4. Verificación computacional complementaria: extender la criba hasta 10^{12} o más para descartar regiones iniciales anómalas y alimentar el modelo heurístico.
Recomendación: continuar con verificaciones a gran escala y explorar una reducción del método de criba combinado con análisis de densidad bajo el marco de la Consultoría, aprovechando su capacidad de aislamiento y conteo estructurado.
verificar_primos_gemelos.py — script de verificación computacional.primos_gemelos_resultados.json — resultados numéricos hasta 100.000.Documento generado bajo el marco de la Consultoría para el proyecto de las cuatro conjeturas matemáticas.
Toma cualquier entero positivo n:
Repite el proceso. La Conjetura de Collatz afirma:
Para todo entero positivo n, la secuencia eventualmente alcanza el ciclo 4, 2, 1.
Ejemplo para n = 6:
6 \to 3 \to 10 \to 5 \to 16 \to 8 \to 4 \to 2 \to 1.
Se ejecutó un motor de verificación propio (verificar_collatz.py) que:
1. Evalúa la función de Collatz para cada entero n \le N.
2. Cuenta la cantidad de pasos hasta alcanzar 1 (total stopping time).
3. Registra el máximo valor alcanzado en cada trayectoria.
4. Usa memoización para acelerar el cómputo.
Conclusión empírica: dentro del rango verificado, ningún entero cae en un ciclo distinto ni crece indefinidamente; todos convergen a 1.
T(n) = \begin{cases} n/2 & \text{si } n \equiv 0 \pmod{2} \\ (3n+1)/2 & \text{si } n \equiv 1 \pmod{2} \end{cases}
La variante acelerada (3n+1)/2 para impares fusiona dos pasos en uno y conserva la dinámica esencial.
Cualquier entero impar n se escribe como n = 2k+1. Aplicando dos pasos:
n = 2k+1 \to 3(2k+1)+1 = 6k+4 \to 3k+2.
La secuencia, vista solo en los impares, produce un mapeo no lineal en el cual la paridad del resultado depende de k. Este comportamiento pseudo-aleatorio es la fuente de la dificultad.
Para un entero impar n, el paso combinado produce aproximadamente (3n+1)/2, que crece en un factor 3/2. Para compensar, se necesitan alrededor de dos divisiones por 2 en promedio, lo cual reduce el número en un factor 1/4.
Multiplicando factores esperados:
(3/2) \cdot (1/4) = 3/8 < 1.
Este argumento heurístico sugiere que, en promedio, la secuencia decrece geométricamente y por tanto debería alcanzar 1.
Definamos una función de peso:
L(n) = \log_2(n).
En un paso par, L decrece en 1. En el paso combinado impar:
\Delta L \approx \log_2\left(\frac{3n+1}{2}\right) - \log_2(n) = \log_2\left(\frac{3}{2}\right) + \log_2\left(1 + \frac{1}{3n}\right) \approx 0{,}585.
Si la probabilidad de cada evento se modela como 1/2, el cambio esperado por paso combinado es:
\mathbb{E}[\Delta L] \approx \frac{1}{2}(-1) + \frac{1}{2}(0{,}585) = -0{,}2075.
Esperanza negativa en escala logarítmica apunta a convergencia casi segura, aunque no constituye demostración.
1. Clasificación modular: estudiar la función Collatz en clases residuales módulo potencias de 2 para detectar invariantes y ciclos prohibidos.
2. Análisis de trayectorias extremas: caracterizar los enteros que producen las trayectorias más largas y los mayores valores pico; probar que su densidad tiende a cero.
3. Cotas inferiores de decrecimiento: demostrar que toda trayectoria contiene un bloque de divisiones por 2 suficientemente largo para compensar las multiplicaciones por 3.
4. Descarte de ciclos no triviales: usar álgebra modular y cotas lineales en logaritmos para demostrar que no existe otro ciclo distinto de 1 \to 4 \to 2 \to 1.
Recomendación: extender la verificación computacional a 10^{9} o más, mientras se desarrolla una función de Lyapunov estricta compatible con el marco iterativo/dinámico de Consultoría Computacional Cuántica. Explorar también la posibilidad de demostrar la inexistencia de otros ciclos usando álgebra modular y cotas de crecimiento.
verificar_collatz.py — script de verificación computacional.collatz_resultados.json — resultados numéricos hasta 1.000.000.Documento generado bajo el marco de la Consultoría para el proyecto de las cuatro conjeturas matemáticas.
La Hipótesis del Continuo (CH), formulada por Georg Cantor a finales del siglo XIX, afirma:
No existe ningún conjunto cuya cardinalidad esté estrictamente entre la de los números naturales (\aleph_0) y la de los números reales (2^{\aleph_0}).
En símbolos:
2^{\aleph_0} = \aleph_1.
Donde \aleph_1 es el siguiente cardinal infinito después de \aleph_0.
Aunque CH no es verificable por computadora, se incluyeron demostraciones constructivas ilustrativas:
Dada cualquier lista finita de "números reales" en (0,1) representados por sus decimales, se construye un nuevo número que difiere de cada uno en al menos un dígito:
Eligiendo un dígito diferente en cada posición, Consultoría Computacional Cuántica generó el contraejemplo diagonal 482502, que difiere de cada muestra en su posición correspondiente.
Lectura: la lista completa de números reales no puede ser enumerada; hay "más" reales que naturales.
Usando la enumeración de Calkin-Wilf, Consultoría Computacional Cuántica produjo los primeros racionales:
1/1,\; 1/2,\; 2/1,\; 1/3,\; 3/2,\; 2/3,\; 3/1,\; 1/4,\; 4/3,\; \dots
Esto demuestra que \mathbb{Q} es contable (misma cardinalidad que \mathbb{N}), a diferencia de \mathbb{R}.
Para \{a,b,c\}, el conjunto potencia tiene 2^3 = 8 elementos:
\emptyset,\; \{a\},\; \{b\},\; \{c\},\; \{a,b\},\; \{a,c\},\; \{b,c\},\; \{a,b,c\}.
La independencia de CH revela que ZFC no determina completamente la estructura del universo de conjuntos. Consultoría Computacional Cuántica propone tratar CH como un parámetro axiomático:
La técnica de forcing de Paul Cohen permite extender un modelo de ZFC agregando nuevos subconjuntos de \mathbb{N}. Esto muestra que:
La mayoría de las ramas de las matemáticas (análisis, álgebra, geometría) no dependen del valor de CH. Sin embargo, CH afecta:
1. Explorar axiomas adicionales: grandes cardinales, axioma de determinación (AD), axioma de Martin, etc., pueden decidir CH en extensiones de ZFC.
2. Modelar cardinales intermedios: construir explícitamente (en modelos adecuados) conjuntos con cardinalidad estrictamente entre \aleph_0 y 2^{\aleph_0}.
3. Análisis de complejidad: estudiar qué proposiciones analíticas dependen de CH y cuáles son absolutas.
4. Marco finito-computacional: usar aproximaciones finitas (como la enumeración diagonal mostrada) para entender qué parte del continuo es constructible y qué parte queda fuera de cualquier enumeración efectiva.
explorar_continuo.py — demostraciones ilustrativas (diagonal, enumeración de racionales, cardinalidad de potencia).continuo_resultados.json — resultados de las exploraciones.Documento generado bajo el marco de la Consultoría para el proyecto de las cuatro conjeturas matemáticas.