Nå er vi oppe i 117 formelle løsninger på Erdos-problemer, opp fra ensifrede tall for bare fire måneder siden. Over 3/4 drives av Aristoteles.
kilde:
11