Una máquina que será uno de los avances científicos en el área de las matemáticas más importantes de la década.