Agora já temos 117 soluções formais para os problemas de Erdos, acima de apenas quatro meses atrás. Mais de 3/4 são alimentados por Aristóteles.
fonte:
76