Algoritmo reduz limite de incerteza na resolução do teorema de Ramsey, maior avanço em 88 anos no estudo desse problema
Por Marcos Pivetta