Estamos financializando a prova. Canalizando energia útil para um supercomputador global que provará tudo e qualquer coisa.