Agora temos 117 soluções formais para os problemas de Erdos, um aumento em relação a números de um único dígito há apenas quatro meses. Mais de 3/4 são impulsionadas por Aristóteles.
Fonte:
97