Gridbach verifica la conjetura de Goldbach hasta 4*10^18+7*10^13
(medium.com/@jay_gridbach)- Gridbach es un sistema de computación distribuida que funciona en el navegador web y rompió el récord mundial al verificar la conjetura de Goldbach hasta 4 quintillones (4×10¹⁸) + 70 billones
- Conjetura de Goldbach: todo número par mayor que 2 puede expresarse como la suma de dos números primos
- Usa código de cálculo de alto rendimiento basado en WASM para ejecutar los cálculos directamente en el navegador, y cualquiera puede participar desde PC o móvil sin iniciar sesión
- El sistema está diseñado con una arquitectura JAMStack basada en la nube, para que cualquiera pueda contribuir fácilmente al estilo de SETI@home
- El algoritmo principal de cálculo está escrito en Go y publicado como código abierto bajo licencia MIT
- Permite observar los principales valores singulares dentro de la conjetura mediante un indicador de visualización llamado "Goldbach Ridge"
Gridbach: un reto de computación distribuida para verificar la conjetura de Goldbach
¿Qué es la conjetura de Goldbach?
- Es una conjetura matemática propuesta en 1742 por Christian Goldbach
- Afirma que todo número par mayor que 2 puede expresarse como la suma de dos números primos
- Ejemplos:
- 4 = 2 + 2
- 6 = 3 + 3
- 100 = 3 + 97
- 10,000 = 71 + 9929
- 1,000,000,000,001,092,576 = 1913 + 1,000,000,000,001,090,663
- Ejemplos:
- Hasta hoy sigue siendo un problema difícil que no ha sido demostrado por completo en términos matemáticos
El récord mundial de Gridbach
- En 2013, el matemático portugués T. Oliveira e Silva la verificó por computadora hasta 4×10¹⁸ (4 quintillones)
- En 2025, el desarrollador japonés Hiroaki Jay Nakata (@jay_gridbach) amplió esa marca 70 billones más y actualizó el rango verificado
- El objetivo es extender el rango hasta 5 quintillones, y buscan lograrlo con más participantes y mejoras en el algoritmo
- Cualquiera puede revisar los resultados: https://gridbach.com
Características del sistema Gridbach
- Se puede ejecutar directamente en el navegador sin iniciar sesión ni instalar una app
- Se descarga al navegador código binario rápido basado en WebAssembly (WASM) para realizar los cálculos localmente
- Cada tarea de cálculo se ejecuta sobre un rango de 100 millones (50 millones de números pares)
- PC: aproximadamente 5 a 10 segundos
- Móvil: aproximadamente 10 a 20 segundos
- Inspirado en SETI@home, busca reducir la barrera de entrada para participar
- Resultados en tiempo real y panel general de estadísticas: https://app.gridbach.com
Stack tecnológico
- WASM: binario ejecutable para cálculos de alto rendimiento dentro del navegador
- Arquitectura JAMStack: estructura centrada en escalabilidad y rendimiento
- Funciona en el navegador, por lo que es compatible tanto con móvil como con escritorio
Visualización Goldbach Ridge
- “Goldbach Ridge” se refiere al valor máximo del primo pequeño entre los pares de Goldbach dentro de un rango determinado
- Matemáticamente, sigue el valor máximo de
penp + q = n (par) - Como visualmente parece una línea de contorno, se usa ese apodo
- Ejemplo: la Ridge descubierta por Oliveira e Silva fue
9781 - En Gridbach, la Ridge máxima encontrada hasta ahora es
6421 - Los usuarios pueden explorar nuevas Ridge con sus aportes y aparecer en el ranking
Algoritmo de cálculo de código abierto
- La lógica principal de cálculo está publicada como una herramienta CLI escrita en Go bajo licencia MIT
- Repositorio: https://github.com/nakatahr/gridbach-core
- Usa un algoritmo mejorado de criba de Eratóstenes basado en bitmask
- Implementa un enfoque con arreglos de bytes pensando en la eficiencia de memoria y la velocidad
Puntos de optimización
- Se optimiza el cálculo del momento para eliminar múltiplos (
mm) durante el bucle de verificación de primos - Mejora la eficiencia al trabajar solo con números pares
- Usa operaciones de bits con flags/masks en bloques de 16 bits
Cómo fomentar la participación y próximos planes
- Cualquiera puede entrar fácilmente al sistema y participar en los cálculos
- Los contribuyentes pueden consultar la lista de las 30 mejores Ridge y el historial de visualización
- También están considerando redactar un artículo para la certificación oficial del récord
- Planean además publicaciones técnicas detalladas sobre el algoritmo y la arquitectura
Conclusión
- Gridbach no es solo un proyecto de hobby, sino una plataforma de cálculo matemático distribuido que desafía un problema global de larga data
- Un problema que incluso estudiantes de secundaria pueden entender está siendo abordado con la colaboración de navegadores de todo el mundo
- Dan la bienvenida a la participación y contribuciones de la comunidad científica, desarrolladores open source y aficionados a las matemáticas
→ Participa directamente:
https://gridbach.com
→ Ver panel en tiempo real:
https://app.gridbach.com
1 comentarios
Opiniones de Hacker News
Este proyecto es interesante, pero está mal planteado en cuanto a la importancia y exactitud del resultado
La frase "hasta ahora nunca ha sido demostrado matemáticamente" es gramaticalmente incorrecta
Me pregunto si el servidor de gridbach confía en los resultados enviados o si puede verificarlos más rápido
Se nota que este proyecto tiene mucha pasión detrás, pero la discusión importante quedó enterrada por la polémica
Esta conjetura ha sido verificada hasta 4,000,000,000,000,000,000
Cuando estaba aprendiendo a programar, escribí un programa para verificar la conjetura de Goldbach
Este proyecto es interesante, pero no es un récord significativo
En un FairPhone 4, una ronda tarda unos 20 segundos
Los procesadores X3D parecen estar conformes ejecutando núcleo*1.5 pestañas
Trabajo impresionante