Ora siamo arrivati a 117 soluzioni formali ai problemi di Erdos, rispetto a una manciata di mesi fa. Oltre 3/4 sono alimentati da Aristotele.
fonte:
10