Nu har vi 117 formella lösningar på Erdos-problem, upp från ensiffriga siffror för bara fyra månader sedan. Över 3/4 drivs av Aristoteles.
källa:
36