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 …