.jpg)
Gridbach: Un proyecto para comprobar de forma distribuida la famosa conjetura de Goldbach
Gridbach [también en inglés además del japonés] es un curioso proyecto matemático en torno a la conjetura de Goldbach. Es muy del estilo de Folding@Home, Seti@Home (en hibernación) o ChessBrain (que no ha avanzado en dos décadas), en el sentido de que se utilizan los ordenadores de voluntarios de todo el mundo para realizar los cálculos de forma distribuida. De momento ya ha batido algún récord. La famosa Conjetura de Goldbach es muy sencilla de entender, simple y a la vez maléfica, y viene a decir que Todo número par mayor que 2 puede escribirse como suma de dos números primos. Goldbach enunció esta conjetura en 1742 y todavía nadie ha podido demostrar que sea matemáticamente cierta, ni por supuesto se ha hallado un número para el que no sea válida. Como no hay una demostración directa se podría pensar en un contraejemplo, pero la dificultad parece estribar en que hay demasiadas formas de combinar los números primos: a medida que se va subiendo en la lista –y se ha comprobado hasta 4 trillones– siempre aparece un ejemplo válido. Por esta razón se sigue considerando uno de los más bellos problemas de las matemáticas. Gridbach es obra de Hiroaki Jay Nakata, y como sistema distribuido ya ha verificado hasta ha verificado la conjetura hasta 4×1018 + 1013 (4.000.010.000.000.000.000), superando en 10 billones el anterior récord de 2013. Y subiendo. Gridbach está programado en WASM (WebAssembly) y ejecuta los cálculos directamente en el navegador del PC o del móvil; no hay que instalar ningún software. Al arrancar pide automáticamente un bloque de números a comprobar y se pone con ello. Cuando verifica todas las soluciones lo comunica, pidiendo un nuevo bloque; si quedaran huecos porque alguno se quede a medias alguien lo revisará y recalculará, y así sucesivamente. El proyecto es completamente transparente y de código abierto, con todos los algoritmos de cálculo optimizados disponibles en GitHub. Cualquiera puede revisarlo, mejorarlo y contribuir. Todo un ejemplo de cómo la tecnología actual permite a cualquier persona contribuir a descubrimientos científicos desde su propia casa. Relacionado: Folding@Home alcanza una potencia de cálculo de 2,4 exaFLOPS, más que la supercomputadora más rápida La conjetura de Goldbach ChessBrain: ajedrez distribuido # Enlace Permanente
Gridbach [también en inglés además del japonés] es un curioso proyecto matemático en torno a la conjetura de Goldbach. Es muy del estilo de Folding@Home, Seti@Home (en hibernación) o ChessBrain (que no ha avanzado en dos décadas), en el sentido de que se utilizan los ordenadores de voluntarios de todo el mundo para realizar los cálculos de forma distribuida. De momento ya ha batido algún récord.
La famosa Conjetura de Goldbach es muy sencilla de entender, simple y a la vez maléfica, y viene a decir que
Todo número par mayor que 2 puede escribirse como suma de dos números primos.
Goldbach enunció esta conjetura en 1742 y todavía nadie ha podido demostrar que sea matemáticamente cierta, ni por supuesto se ha hallado un número para el que no sea válida. Como no hay una demostración directa se podría pensar en un contraejemplo, pero la dificultad parece estribar en que hay demasiadas formas de combinar los números primos: a medida que se va subiendo en la lista –y se ha comprobado hasta 4 trillones– siempre aparece un ejemplo válido. Por esta razón se sigue considerando uno de los más bellos problemas de las matemáticas.
Gridbach es obra de Hiroaki Jay Nakata, y como sistema distribuido ya ha verificado hasta ha verificado la conjetura hasta 4×1018 + 1013 (4.000.010.000.000.000.000), superando en 10 billones el anterior récord de 2013. Y subiendo.
Gridbach está programado en WASM (WebAssembly) y ejecuta los cálculos directamente en el navegador del PC o del móvil; no hay que instalar ningún software. Al arrancar pide automáticamente un bloque de números a comprobar y se pone con ello. Cuando verifica todas las soluciones lo comunica, pidiendo un nuevo bloque; si quedaran huecos porque alguno se quede a medias alguien lo revisará y recalculará, y así sucesivamente.
El proyecto es completamente transparente y de código abierto, con todos los algoritmos de cálculo optimizados disponibles en GitHub. Cualquiera puede revisarlo, mejorarlo y contribuir. Todo un ejemplo de cómo la tecnología actual permite a cualquier persona contribuir a descubrimientos científicos desde su propia casa.
Relacionado: